2017-07-10 |
ajreynol | Merge ntExt branch. Adds support for transcendental... |
blob | commitdiff | raw |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2017-04-07 |
ajreynol | Change option names for nl. |
blob | commitdiff | raw | diff to current |
2017-04-04 |
ajreynol | Simplify Theory::collectModelInfo interface to not... |
blob | commitdiff | raw | diff to current |
2017-04-04 |
Clark Barrett | Merge pull request #141 from 4tXJ7f/remove_def |
blob | commitdiff | raw | diff to current |
2017-04-03 |
Andrew Reynolds | Merge pull request #142 from timothy-king/nlAlgMerge |
blob | commitdiff | raw | diff to current |
2017-04-03 |
Tim King | Adding a model based axiom instantiation scheme for... |
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 |
2016-01-09 |
Tim King | Removing StatisticsRegistry's static functions current... |
blob | commitdiff | raw | diff to current |
2016-01-06 |
Tim King | Add SmtGlobals Class |
blob | commitdiff | raw | diff to current |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
blob | commitdiff | raw | diff to current |
2015-05-28 |
Liana Hadarean | added options for controlling resource step-count for... |
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 |
2014-05-01 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-30 |
Tim King | T-entailment work, and QCF (quant conflict find) work... |
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 |
Martin Brain | Refactor the theory specific parts of definition expans... |
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 | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-03-04 |
Morgan Deters | Don't theory-preprocess under quantifiers; but DO theor... |
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-22 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-01-22 |
Morgan Deters | Delay QuantifiersEngine and UF strong solver initializa... |
blob | commitdiff | raw | diff to current |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
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 |
Tianyi Liang | adds model generation for strings, and a hacked way... |
blob | commitdiff | raw | diff to current |
2013-09-24 |
Tianyi Liang | adds model generation for strings, and a hacked way... |
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-25 |
Morgan Deters | Support for abs, to_int, is_int, divisible in SMT-LIB... |
blob | commitdiff | raw | diff to current |
2013-04-30 |
lianah | fixed merge conflicts |
blob | commitdiff | raw | diff to current |
2013-04-26 |
Tim King | FCSimplex branch merge |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Tim King | Making arithmetic model reversion on unsat checks an... |
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-04-01 |
Tim King | Cleaning up the demand restart code. |
blob | commitdiff | raw | diff to current |
2013-04-01 |
Tim King | Adding a restart test strategy to integers. |
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-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-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-31 |
Tim King | Adding a heuristic to more eagerly split bounded intege... |
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-23 |
Tim King | Adding substitution size cap. |
blob | commitdiff | raw | diff to current |
2013-01-23 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-19 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-22 |
Dejan Jovanović | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-18 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-15 |
Tim King | Merging in patch from branch '1.0.x'. |
blob | commitdiff | raw | diff to current |
2012-12-15 |
Tim King | Merge remote-tracking branch 'main-repo/1.0.x' into... |
blob | commitdiff | raw | diff to current |
2012-12-15 |
Tim King | Changing the rewriter to use Boute's Euclidean definiti... |
blob | commitdiff | raw | diff to current |
2012-12-12 |
Dejan Jovanović | Merge pull request #2 from CVC4/1.0.x |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x', getting fix for bug 480 |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' (getting fix for bug 479) |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
blob | commitdiff | raw | diff to current |
2012-12-07 |
François Bobot | Merge release branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-06 |
François Bobot | Merge branch 'release-1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Tim King | Improved garbage collection for TheoryArith. The merge... |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Tim King | This commit merges in CDTrailHashMap and CDInsertHashMa... |
blob | commitdiff | raw | diff to current |
2012-11-26 |
Dejan Jovanović | Adding support for a master equality engine. Each theor... |
blob | commitdiff | raw | diff to current |
2012-11-26 |
Tim King | Improving arithmetic debugging output. |
blob | commitdiff | raw | diff to current |
2012-11-25 |
Tim King | This commit fixes two incompleteness bugs (461, 459... |
blob | commitdiff | raw | diff to current |
2012-11-21 |
Tim King | - Removes getDeltaValueWithNonlinear() entirely |
blob | commitdiff | raw | diff to current |
2012-11-19 |
Tim King | Fix for bug452. |
blob | commitdiff | raw | diff to current |
2012-11-14 |
Andrew Reynolds | replaced all static member data from rewrite rule trigg... |
blob | commitdiff | raw | diff to current |
2012-11-14 |
Tim King | Fixed a typo in r4576 |
blob | commitdiff | raw | diff to current |
2012-11-14 |
Tim King | Fix to bug449. Adds shared constants to the set of... |
blob | commitdiff | raw | diff to current |
2012-11-12 |
Tim King | Improved error reporting for improperly using non-linea... |
blob | commitdiff | raw | diff to current |
next |