summaryrefslogtreecommitdiff
path: root/.cproject
AgeCommit message (Expand)Author
2012-10-05BoolExpr removed and replaced with ExprDejan Jovanović
2012-03-26Global registry of SAT solvers, where they are registered at compile time. Th...Dejan Jovanović
2012-03-26more datail from the build failureDejan Jovanović
2012-03-08Removing QUICK_CHECK, and other unused ones, from the Theory::Effort.Dejan Jovanović
2012-03-02CDMap -> CDHashMapDejan Jovanović
2011-07-09surprize surprizeDejan Jovanović
2010-05-13Minor refactorings to PropEngine, SatSolverChristopher L. Conway
2010-04-29First draft implementation of SMT v2 parserChristopher L. Conway
2010-04-15Removing horrible, system-locking option from Eclipse Make preferences.Christopher L. Conway
2010-04-14Marging from types 404:415, changes: MassiveDejan Jovanović
2010-02-10fixing annoying eclipse build settings, no more broken pipe errors with these...Dejan Jovanović
2009-12-17CvcParserBlack and supporting Makefile changesChristopher L. Conway
2009-12-07antlr parser for the cvc4 language (boolean only)Dejan Jovanović
2009-12-06Big chunk of changes:Dejan Jovanović
2009-12-03Eclipse CVC4 settings (with code style)Dejan Jovanović
2009-11-26Commands and the eclipse C++ project settings.Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback