Age | Commit message (Expand) | Author |
---|---|---|
2011-07-09 | surprize surprize | Dejan Jovanović |
2010-05-13 | Minor refactorings to PropEngine, SatSolver | Christopher L. Conway |
2010-04-29 | First draft implementation of SMT v2 parser | Christopher L. Conway |
2010-04-15 | Removing horrible, system-locking option from Eclipse Make preferences. | Christopher L. Conway |
2010-04-14 | Marging from types 404:415, changes: Massive | Dejan Jovanović |
2010-02-10 | fixing annoying eclipse build settings, no more broken pipe errors with these... | Dejan Jovanović |
2009-12-17 | CvcParserBlack and supporting Makefile changes | Christopher L. Conway |
2009-12-07 | antlr parser for the cvc4 language (boolean only) | Dejan Jovanović |
2009-12-06 | Big chunk of changes: | Dejan Jovanović |
2009-12-03 | Eclipse CVC4 settings (with code style) | Dejan Jovanović |
2009-11-26 | Commands and the eclipse C++ project settings. | Dejan Jovanović |