Age | Commit message (Expand) | Author |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2016-12-02 | Bug fixes and refactoring of parametric datatypes, add some regressions. | ajreynol |
2016-09-27 | Reverting part of the previous changes to unconstrained simplifier. | Tim King |
2016-09-26 | Simplifying control flow to avoid goto's in unconstrained_simplifier.cpp. | Tim King |
2016-09-09 | Fix bug in unconstrained simplifier related to sep.nil/distinguished variables. | ajreynol |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2015-10-23 | This removes a bug for reading data that has been popped from the back of a v... | Tim King |
2015-02-13 | Handle recursive singleton case for codatatypes, add regression. Simplify im... | ajreynol |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-10 | Merging CAV14 paper bit-vector work. | lianah |
2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
2014-03-16 | Fix for ite of >=64bit wide bitvectors with unconstrained condition. | Peter Collingbourne |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-25 | Substantial Changes: | Tim King |
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-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-08-24 | * disallow internal uses of mkVar() (you have to mkSkolem()) | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-15 | Fixes some assertion failures | Clark Barrett |
2012-06-14 | New substitutions implementation - fixes performance issue seen in nonclausal | Clark Barrett |
2012-06-14 | The "no-tears-in-competition-mode" commit. Change all (non-driver, non-SAT-s... | Morgan Deters |
2012-06-12 | Fixed fuzzing bug | Clark Barrett |
2012-06-11 | Fixed bug 352 | Clark Barrett |
2012-06-06 | Fixed assertion failures | Clark Barrett |
2012-06-05 | More clean-up | Clark Barrett |
2012-06-05 | Fixed a performance issue with unconstrained simplifier | Clark Barrett |
2012-06-05 | Adding missing files... | Clark Barrett |