| .. |
|
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 роки тому |
|
MANIFEST.in
|
1942a46c82
fixed setup and tests
|
5 роки тому |
|
build.bat
|
302c92eb3a
added build script, for people who don't want to install sccd onto their python install dir
|
8 роки тому |
|
install.bat
|
d0e1721ac9
changed structure completely, now has an installer
|
9 роки тому |
|
setup.py
|
1942a46c82
fixed setup and tests
|
5 роки тому |
|
setup.sh
|
9315a1c42e
Fix install script for pypy as well
|
7 роки тому |
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 :)