2018-05-24 |
Andres Noetzli | Fix compiler warnings (#1959) |
blob | commitdiff | raw |
2018-04-08 |
Andrew Reynolds | Check free variables in assertions (#1737) |
blob | commitdiff | raw | diff to current |
2018-03-05 |
Aina Niemetz | Add support for check-sat-assuming. (#1637) |
blob | commitdiff | raw | diff to current |
2018-03-05 |
Aina Niemetz | Add CVC4_PUBLIC keyword to overloads of << for Expr... |
blob | commitdiff | raw | diff to current |
2018-03-05 |
Aina Niemetz | Add uniform way to serialize containers of Expr to... |
blob | commitdiff | raw | diff to current |
2018-01-17 |
Tim King | Removes yet more throw specifiers. Updating the documen... |
blob | commitdiff | raw | diff to current |
2018-01-10 |
Tim King | Cleaning up throw specifiers on Exception and subclasse... |
blob | commitdiff | raw | diff to current |
2017-08-24 |
Andrew Reynolds | Merge pull request #191 from timothy-king/cleanup-regexp |
blob | commitdiff | raw | diff to current |
2017-08-15 |
Andres Noetzli | Minimize includes in expr.h: remove dups, iostream... |
blob | commitdiff | raw | diff to current |
2017-07-21 |
Tim King | Merge branch 'master' into cleanup-regexp |
blob | commitdiff | raw | diff to current |
2017-07-21 |
Tim King | Moving from the gnu extensions for hash maps to the... |
blob | commitdiff | raw | diff to current |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2016-04-20 |
PaulMeng | update from the master |
blob | commitdiff | raw | diff to current |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
blob | commitdiff | raw | diff to current |
2016-01-28 |
Tim King | Adding listeners to Options. |
blob | commitdiff | raw | diff to current |
2015-12-30 |
Tim King | Shuffling around public vs. private headers |
blob | commitdiff | raw | diff to current |
2015-12-19 |
Tim King | Modifying emptyset.h and sexpr. Adding SetLanguage. |
blob | commitdiff | raw | diff to current |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
blob | commitdiff | raw | diff to current |
2015-10-14 |
Kshitij Bansal | Merge pull request #77 from kbansal/macsegfault |
blob | commitdiff | raw | diff to current |
2015-10-13 |
Kshitij Bansal | remove options infrastructure code which depended on... |
blob | commitdiff | raw | diff to current |
2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-23 |
Morgan Deters | Parsing and infrastructure support for SMT-LIBv2.5... |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
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 | Better automatic handling of output language setting. |
blob | commitdiff | raw | diff to current |
2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-11 |
Morgan Deters | Fix warning. |
blob | commitdiff | raw | diff to current |
2013-12-11 |
Morgan Deters | Fix warning. |
blob | commitdiff | raw | diff to current |
2013-12-09 |
Kshitij Bansal | fix bug 542 |
blob | commitdiff | raw | diff to current |
2013-12-07 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-07 |
Kshitij Bansal | fix bug 542 |
blob | commitdiff | raw | diff to current |
2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-20 |
Tim King | Changing the number of bits allocated per field in... |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-09-12 |
Kshitij Bansal | fix bug 534: portfolio define-fun duplicate model |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
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-14 |
Morgan Deters | Fix warning (line annotation) |
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-17 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Tim King | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-07 |
Morgan Deters | Make --default-dag-thresh apply to stringstreams |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-02 |
lianah | merged master into branch |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-25 |
Morgan Deters | Fix errors and reduce warnings on clang (merge from... |
blob | commitdiff | raw | diff to current |
2012-12-01 |
Morgan Deters | fix #line annotation warning |
blob | commitdiff | raw | diff to current |
2012-11-30 |
Morgan Deters | change detection/handling of output language more reaso... |
blob | commitdiff | raw | diff to current |
2012-10-14 |
Morgan Deters | fix #line number warnings (sorry!) |
blob | commitdiff | raw | diff to current |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-10-05 |
Dejan Jovanović | BoolExpr removed and replaced with Expr |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Kshitij Bansal | Some fixes to portfolio |
blob | commitdiff | raw | diff to current |
2012-09-24 |
Dejan Jovanović | some api changes |
blob | commitdiff | raw | diff to current |
2012-08-30 |
Morgan Deters | set the default expression-printing depth to "unlimited" |
blob | commitdiff | raw | diff to current |
2012-08-29 |
Morgan Deters | * Numerous documentation fixes (fix doxygen warnings... |
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-24 |
Morgan Deters | fix get-value output in a couple ways; this fixes bug... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364... |
blob | commitdiff | raw | diff to current |
2012-06-09 |
Morgan Deters | Cleanup and comments for the dag-ifier. Also some... |
blob | commitdiff | raw | diff to current |
2012-06-09 |
Morgan Deters | Dagification of output expressions. |
blob | commitdiff | raw | diff to current |
2012-02-25 |
Liana Hadarean | Refactored CnfStream to work with the bv theory Bitblaster: |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
2011-11-22 |
Morgan Deters | More language bindings work: |
blob | commitdiff | raw | diff to current |
2011-09-21 |
Morgan Deters | considerable bindings interface work, some improvements... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
2011-06-03 |
Morgan Deters | datatypes work |
blob | commitdiff | raw | diff to current |
2011-05-02 |
Morgan Deters | Minor fixes to various parts of CVC4, including the... |
blob | commitdiff | raw | diff to current |
2011-04-25 |
Morgan Deters | Weekend work. The main points: |
blob | commitdiff | raw | diff to current |
2011-04-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation... |
blob | commitdiff | raw | diff to current |
2011-04-20 |
Morgan Deters | Minor mixed-bag commit. Expected performance impact... |
blob | commitdiff | raw | diff to current |
2011-04-20 |
Morgan Deters | Tuesday end-of-day commit. |
blob | commitdiff | raw | diff to current |
2011-04-18 |
Morgan Deters | Partial merge from datatypes-merge branch: |
blob | commitdiff | raw | diff to current |
2011-04-15 |
Morgan Deters | partial merge from portfolio branch, adding conversions... |
blob | commitdiff | raw | diff to current |
next |