Menu

Commit [r88]  Maximize  Restore  History

ModelChecking.py restructured and tests almost finished. More docs.

hannesklarner 2015-07-16

changed /Core/AttractorDetection.py
removed /Core/BestFirstReachability.py
changed /Core/FileExchange.py
changed /Core/StateTransitionGraphs.py
removed /Core/TemporalLogic.py
removed /Tests/tests.py
changed /readme.txt
/Core/AttractorDetection.py Diff Switch to side-by-side view
Loading...
/Core/BestFirstReachability.py
File was removed.
/Core/FileExchange.py Diff Switch to side-by-side view
Loading...
/Core/StateTransitionGraphs.py Diff Switch to side-by-side view
Loading...
/Core/TemporalLogic.py
File was removed.
/Tests/tests.py
File was removed.
/readme.txt Diff Switch to side-by-side view
Loading...