Age | Commit message (Expand) | Author |
2014-11-17 | Resource-limiting work. | Liana Hadarean |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
2014-05-28 | Add option to avoid dumping partial models/proofs. | Andrew Reynolds |
2014-05-09 | Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC... | Andrew Reynolds |
2014-03-19 | Set dumping options from (set-option..) and API more directly. | Morgan Deters |
2014-03-11 | Fix for (get-assignment), resolves bug 553. | Morgan Deters |
2014-03-11 | Merge branch '1.3.x' | Morgan Deters |
2014-03-11 | Fix some Win32 and SMT-LIB compliance bugs discovered by David Cok. | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-16 | First attempt at incorporating LFSC proof checker into CVC4. | Morgan Deters |
2013-12-04 | Partial kind branch merge, including new --rewrite-apply-to-const feature. | Morgan Deters |
2013-11-27 | Incremental is now on by default when using from API, off for command-line dr... | Morgan Deters |
2013-11-25 | Substantial Changes: | Tim King |
2013-10-03 | Added support for converting unsorted problems to multi-sorted problems via s... | Andrew Reynolds |
2013-09-27 | Add new symmetry breaking technique for finite model finding. Improvements t... | Andrew Reynolds |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-05-22 | Significant work on bounded integer quantification to handle non-trivial boun... | Andrew Reynolds |
2013-02-24 | added option --model-u-dt-enum for outputting uninterpreted sorts as datatype... | Andrew Reynolds |
2012-11-30 | Adding smtname level options for tlimit, rlimit, etc. Fix to the internal doc... | Tim King |
2012-11-12 | minor bug fixes for quantifiers, added sort inference module (not ready to be... | Andrew Reynolds |
2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-09-28 | some fixes to build system | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-15 | minor interface improvements, compliance fixes | Morgan Deters |
2012-09-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
2012-09-12 | Adding model assertions after SAT responses. | Morgan Deters |
2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |