LogicModelClassifier Activity
Brought to you by:
hannesklarner
Activity for LogicModelClassifier
-
Hannes Klarner committed [r20]
creates a small database
-
here we go
-
improved the label for annotation by attractors.
-
added Attractors.py and removed CustomLoops bec...
-
added analysis script NoneSomeAll.py that does ...
-
added row iterator to database for analysis scr...
-
added nusmv options for efficiency of LTL checking
-
reformatting
-
bugfix for size of restricted classes
-
added different update strategies and merged CT...
-
cleanup
-
formatting
-
import fix
-
rename
-
imports
-
imports
-
added SQL annotation
-
rename and formatting
-
encode asynchronous transitions by TRANS constr...
-
initial commit
1
