descriptionSATCheck ModelChecker
ownerroot
last changeSat, 2 Sep 2017 05:09:33 +0000 (22:09 -0700)
shortlog
2017-09-02 bdemskyFix apparent bug... master
2017-08-16 sy2zhaoFix MC_Equals to handle NODEP MCIDs.
2017-05-26 Patrick Lamanother benchmark
2017-05-10 bdemskyNeed to allow for one spare encoding for the non-execut...
2016-12-21 bdemskyHalt execution at yield with -Y to simplify SAT formula
2016-12-21 bdemskyFix yield bug part 2
2016-12-20 bdemskyFix yield bug
2016-12-16 bdemskyupdate debugging information in readme file
2016-12-16 bdemskyupdate docs and remove unused option
2016-12-16 bdemskyCheck in a README file
2016-12-15 bdemskyBuild without warnings
2016-12-15 bdemskyRemove C/C++11 header files that we don't really use
2016-12-15 bdemskyupdate doxygen file
2016-12-15 bdemskysmall edits
2016-12-15 bdemskyfix spacing with make tabbing
2016-12-15 Patrick LamMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
...
heads
3 years ago master