Age | Commit message (Expand) | Author |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-08-07 | Require Swig 3 (#2283) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-01-26 | Removing structurally dead code. (#1540) | Tim King |
2017-08-30 | Use thread_local instead of compiler extensions (#210) | Andres Noetzli |
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2017-01-10 | Adding regression test scrubbing. | Tim King |
2016-04-20 | update from the master | PaulMeng |
2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
2016-01-08 | Adding a new Listener utility class. Changing the ResourceManager to use List... | Tim King |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-05-28 | added options for controlling resource step-count for various solving stages | Liana Hadarean |
2014-11-17 | Resource-limiting work. | Liana Hadarean |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-12-02 | fixed rewriter bug where postRewrite was not caching properly | lianah |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-06 | * Fix some regressions' expected outputs. | Morgan Deters |
2012-07-31 | fixes for portfolio | Morgan Deters |
2012-06-16 | changing theoryOf in shared mode with arrays to move equalities to arrays | Dejan Jovanović |
2012-06-14 | * removing rewriteEquality from the rewriter | Dejan Jovanović |
2012-06-13 | Fixes lots of problems in bv rewrite rules and adds lots of assertions | Clark Barrett |
2012-06-12 | bufixes and the bugs | Dejan Jovanović |
2012-06-11 | OK, now the rewrite issues are fixed | Clark Barrett |
2012-06-11 | Fix for array bug with decision heuristic | Clark Barrett |
2012-06-10 | Added a very fruitful assertion to the rewriter: checks that rewriting after ... | Clark Barrett |
2012-05-28 | Added some BV rewrites, fixed bugs in array theory, made ite simp work with BV | Clark Barrett |
2012-03-28 | adding an extra cache check in the rewriter, speeds things a bit | Dejan Jovanović |
2011-10-17 | Sharing work | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-07-12 | fix bug 272, array unsoundness, and some array cleanup | Morgan Deters |
2011-02-26 | Commit to fix bug 241 (improper "using namespace std" in a header). This cau... | Morgan Deters |
2011-01-05 | Commit for the theory engine and rewriter changes. Changes are substantial an... | Dejan Jovanović |