projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixes for quantifiers + incremental (#2009)
[cvc5.git] / src / theory / theory_traits_template.h
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersMinor cleanup. blob | commitdiff | raw | diff to current
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-11-27 Morgan DetersGeneral pre-release cleanup commit blob | commitdiff | raw | diff to current
2013-04-30 lianahfixed merge conflicts blob | commitdiff | raw | diff to current
2013-04-24 Morgan DetersTheory "alternates" support blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-08-29 Morgan Deters* Numerous documentation fixes (fix doxygen warnings... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-04-25 Morgan DetersWeekend work. The main points: blob | commitdiff | raw | diff to current
2011-03-30 Morgan DetersAdd Valuation::getSatValue() so that theories can acces... blob | commitdiff | raw | diff to current
2011-01-05 Dejan JovanovićCommit for the theory engine and rewriter changes.... blob | commitdiff | raw | diff to current