Age | Commit message (Expand) | Author |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-03-27 | fixes to attribute-internals warnings on 64-bit; also some GCC function attri... | Morgan Deters |
2011-03-08 | Clean up Theory base class as per code review bug #60; also fixes to CodeTime... | Morgan Deters |
2011-02-28 | minor doxygen build target fixes | Morgan Deters |
2010-10-29 | minor fixes as a result of review of Chris's getType() rewrite; also fix some... | Morgan Deters |
2010-10-24 | add a CVC4_UNDEFINED keyword, for intentionally undefined functions (like pri... | Morgan Deters |
2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-05 | fix most of the warnings in the parser by (1) quieting unused-function and un... | Morgan Deters |
2010-04-01 | minor forgotten things in last commit | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-30 | Removing unnecessary .gitignores | Christopher L. Conway |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
2010-02-26 | * test/unit/context/context_black.h: Test CDList<>. In particular, | Morgan Deters |
2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing... | Morgan Deters |
2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re... | Morgan Deters |
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-09 | some fixes and organizational adjustments to assert code, parsers/lexers, and... | Morgan Deters |
2009-12-07 | big check-in of various fixes and adjustments | Morgan Deters |
2009-12-05 | more build system work | Morgan Deters |
2009-11-25 | additional work on parser hookup, configuration + build | Morgan Deters |
2009-11-24 | various fixes and updates to use and support parser | Morgan Deters |
2009-11-24 | Partial parser for booleans | Christopher L. Conway |
2009-11-24 | configure option adjustments as per 11/24 meeting; various fixes and improvem... | Morgan Deters |
2009-11-23 | fixups, file comments | Morgan Deters |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |
2009-11-18 | work on exprs, driver, util | Morgan Deters |
2009-11-17 | fixes/redesign of source layout from meeting | Morgan Deters |
2009-11-17 | another pass | Morgan Deters |
2009-11-17 | fixes and additions | Morgan Deters |
2009-11-12 | parser, minisat, other things.. | Morgan Deters |
2009-11-09 | minor fixes, added contrib directory | Morgan Deters |
2009-11-03 | additional headers and modifications; now passes syntax check | Morgan Deters |
2009-11-03 | additional headers | Morgan Deters |
2009-11-03 | commit of project structure including autotools support | Morgan Deters |