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://
2016-12-15 Patrick Lamedit libinterface docs
2016-12-15 bdemskyAdd support for uncrustify to fix tabbing
2016-12-15 Patrick Lamwhitespace -> use tabs
2016-12-15 bdemskyDocument interface
2016-12-15 bdemskyFix build of test directory
2016-12-15 Brian DemskyWork around changes in newer versions of glibc
2016-12-15 Brian DemskyIncrease size of bootstrap bytes as some Linux distribu...
2016-11-24 bdemskyFix TSO Bugs
2016-11-23 bdemskyfix broken use of iterator
2016-01-03 bdemskyFix Loop Exit Bug
2015-10-05 Patrick Lamadd default MC-names for not-found variables in equalit...
2015-10-04 Patrick Lamadd MC2_function call for assignments where RHS compute...
2015-09-28 Patrick Lamfix replacement around macro expansion; add new benchma...
2015-09-04 bdemskyCommit state of repository at time of OOPSLA 2015 submi...