Age | Commit message (Expand) | Author |
2016-04-20 | update from the master | PaulMeng |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-06-27 | Remove output.h from public space, to avoid clashes with symbols defined in u... | Morgan Deters |
2013-06-27 | Remove macros EXPECT_TRUE / EXPECT_FALSE from cvc4_public.h so that they don'... | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-28 | some fixes to build system | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2011-11-22 | More language bindings work: | Morgan Deters |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
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 |