2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
blob | commitdiff | raw |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-08-22 |
Morgan Deters | Unsat core infrastruture and API (SMT-LIB compliance... |
blob | commitdiff | raw |
2014-05-28 |
Andrew Reynolds | Add option to avoid dumping partial models/proofs. |
blob | commitdiff | raw | diff to current |
2014-05-09 |
Andrew Reynolds | Add variable ordering to ambqi. Bug fix to macros... |
blob | commitdiff | raw | diff to current |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
blob | commitdiff | raw | diff to current |
2014-03-19 |
Morgan Deters | Set dumping options from (set-option..) and API more... |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Fix for (get-assignment), resolves bug 553. |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Fix some Win32 and SMT-LIB compliance bugs discovered... |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
blob | commitdiff | raw | diff to current |
2013-12-22 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | First attempt at incorporating LFSC proof checker into... |
blob | commitdiff | raw | diff to current |
2013-12-04 |
Morgan Deters | Partial kind branch merge, including new --rewrite... |
blob | commitdiff | raw | diff to current |
2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-27 |
Morgan Deters | Incremental is now on by default when using from API... |
blob | commitdiff | raw | diff to current |
2013-11-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-25 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
blob | commitdiff | raw | diff to current |
2013-11-25 |
Tim King | Substantial Changes: |
blob | commitdiff | raw | diff to current |
2013-10-07 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-10-03 |
Andrew Reynolds | Added support for converting unsorted problems to multi... |
blob | commitdiff | raw | diff to current |
2013-10-02 |
Andrew Reynolds | Added support for converting unsorted problems to multi... |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-27 |
Morgan Deters | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-09-27 |
Andrew Reynolds | Add new symmetry breaking technique for finite model... |
blob | commitdiff | raw | diff to current |
2013-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
blob | commitdiff | raw | diff to current |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-04 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-22 |
Andrew Reynolds | Significant work on bounded integer quantification... |
blob | commitdiff | raw | diff to current |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-17 |
Andrew Reynolds | Add support for --dump-models option, in preparation... |
blob | commitdiff | raw | diff to current |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
blob | commitdiff | raw | diff to current |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-24 |
Andrew Reynolds | added option --model-u-dt-enum for outputting uninterpr... |
blob | commitdiff | raw | diff to current |
2012-11-30 |
Tim King | Adding smtname level options for tlimit, rlimit, etc... |
blob | commitdiff | raw | diff to current |
2012-11-12 |
Andrew Reynolds | minor bug fixes for quantifiers, added sort inference... |
blob | commitdiff | raw | diff to current |
2012-10-10 |
Morgan Deters | Abstract values for SMT-LIB. |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Morgan Deters | * Models' SubstitutionMaps are now attached to the... |
blob | commitdiff | raw | diff to current |
2012-10-06 |
Morgan Deters | * Clean up some options documentation |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | some fixes to build system |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | Public interface review items: |
blob | commitdiff | raw | diff to current |
2012-09-15 |
Morgan Deters | minor interface improvements, compliance fixes |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Morgan Deters | Fix a few minor issues in options processing, improving... |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Morgan Deters | Adding model assertions after SAT responses. |
blob | commitdiff | raw | diff to current |
2012-08-31 |
Andrew Reynolds | merge from fmf-devel branch. more updates to models... |
blob | commitdiff | raw | diff to current |
2012-08-28 |
Morgan Deters | Improved compatibility layer, now supports quantifiers... |
blob | commitdiff | raw | diff to current |
2012-08-06 |
Morgan Deters | Support setting :regular-output-channel and :diagnostic... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
|