| 2014-03-11 |
Morgan Deters | Fix some Win32 and SMT-LIB compliance bugs discovered... |
blob | commitdiff | raw |
| 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 |
|
projects / cvc5.git / history