Age | Commit message (Expand) | Author |
2017-07-12 | Fix unit tests for subranges. Fix destructors for context objs in unit tests. | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2016-11-17 | Fix Makefiles in test | Andres Notzli |
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 |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2016-01-05 | Moving sexpr.{cpp,h,i} from expr/ back into util/. | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-18 | Modifying emptyset.h and sexpr. Adding SetLanguage. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-11-23 | Adding a missing delete to smt2_compliance. | Tim King |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-05-30 | Update submission make rules. | Morgan Deters |
2014-02-21 | Fix makefile dependence for system tests. | Morgan Deters |
2014-02-21 | disable test cvc3_main, attempt to fix dist_check | Kshitij Bansal |
2013-11-14 | Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ G... | Morgan Deters |
2013-07-30 | Minor fixes to build system. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-04-29 | Some fixes for GCC 4.2, and for Java on Mac | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2012-12-06 | * tuple and record support in compatibility library | Morgan Deters |
2012-12-01 | fix java system test dependences | Morgan Deters |
2012-11-15 | Fix for bug 447. | Tim King |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-28 | * fix compatibility library naming for SMT-LIBv1 | Morgan Deters |
2012-09-26 | disable building of cvc3_george system-test object (which isn't used yet anyw... | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-18 | a few fixes for java system test | Morgan Deters |
2012-07-16 | now passes "make distcheck", which does important checks for the release (e.g... | Morgan Deters |
2012-07-16 | stronger two_smt_engines test | Morgan Deters |
2012-07-16 | fix inadvertent change to system test | Morgan Deters |
2012-07-16 | Support for having two SmtEngines with the same ExprManager. | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-14 | bug 346 resolved | Morgan Deters |
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-03-09 | minor fixes: to "make dist" in build directories with language bindings enabl... | Morgan Deters |
2012-02-10 | attempt at a fix for the local regression failure (CLN linking issues on oneiric | Morgan Deters |
2011-10-04 | compatibility, bindings | Morgan Deters |
2011-10-04 | compat layer cleanup | Morgan Deters |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
2011-09-29 | some test fixes | Morgan Deters |