projects / satcheck.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

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