Commits

Author Commit Message Labels Comments Date
notsimon
readme
Richard KEO
fixed path
Richard KEO
changed test path
notsimon
Merge branch 'master' of ssh://bitbucket.org/NotSimon/model-checking
notsimon
Added -DWAF_PROJECT_PATH
Richard KEO
fixed unit test for evaluation
Richard KEO
eval test suit
notsimon
readme
notsimon
modified readme
notsimon
modified README
notsimon
Moved readme
notsimon
README + moved tests
notsimon
modified wscript
notsimon
Added unit tests
notsimon
Modified readme
notsimon
Removed unreachable nodes simplification
notsimon
Merge branch 'master' of ssh://bitbucket.org/NotSimon/model-checking
notsimon
Unit tests (gtest)
Richard KEO
Add + quantifiers for the parser (spaces)
notsimon
Merge branch 'master' of ssh://bitbucket.org/NotSimon/model-checking
notsimon
Removed dependencies from ctl-parser
Richard KEO
fixed wscript for dist rule
Richard KEO
simple tests
notsimon
Readme
Richard KEO
Add prerequisites in README
notsimon
Read CTL on stdin
Richard KEO
Add authors file, and doxyfile for generation of documentation.
notsimon
Commenting & removed Buddy shit
notsimon
Kripke simplification: removed finite paths
Richard KEO
Removed unused labels after simplification
  1. Prev
  2. Next