| .. |
|
sccd
|
00becf8a0d
Re-implemented priority semantics: Based on priority semantics, a directed graph of orderings between transitions is explicitly built, checked for cycles, and from it, a total ordering of transitions is constructed. Transitions between whom no ordering exists are only allowed if they cannot be simultaneously enabled wrt their source states. It is now possible to switch off explicit ordering of orthogonal regions and explicit ordering of transitions with the same source state (but it's ON by default :)
|
5 år sedan |
|
MANIFEST.in
|
1942a46c82
fixed setup and tests
|
5 år sedan |
|
build.bat
|
302c92eb3a
added build script, for people who don't want to install sccd onto their python install dir
|
8 år sedan |
|
install.bat
|
d0e1721ac9
changed structure completely, now has an installer
|
9 år sedan |
|
setup.py
|
1942a46c82
fixed setup and tests
|
5 år sedan |
|
setup.sh
|
9315a1c42e
Fix install script for pypy as well
|
7 år sedan |
Joeri Exelmans
00becf8a0d
Re-implemented priority semantics: Based on priority semantics, a directed graph of orderings between transitions is explicitly built, checked for cycles, and from it, a total ordering of transitions is constructed. Transitions between whom no ordering exists are only allowed if they cannot be simultaneously enabled wrt their source states. It is now possible to switch off explicit ordering of orthogonal regions and explicit ordering of transitions with the same source state (but it's ON by default :)