Age | Commit message (Expand) | Author |
2013-03-19 | inequality reasoning works on small examples added to regressions (not increm... | Liana Hadarean |
2013-03-16 | started work on the inequality bv subtheory | lianah |
2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
2012-11-13 | Testcases for fixed bugs | Clark Barrett |
2012-10-10 | fixing the cvc bv parser and typechecker | Dejan Jovanović |
2012-10-08 | added reduced bv model failing test case | Liana Hadarean |
2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
2012-06-28 | Fixed bug in bv rewriter that caused wrong answer in SMT-COMPsmtcomp2012-resubmission-2 | Clark Barrett |
2012-06-14 | fix for clark's bug | Dejan Jovanović |
2012-06-13 | enabling regressions from last night, all fixed | Dejan Jovanović |
2012-06-13 | !(*child_it).isConst() assertion fail | Dejan Jovanović |
2012-06-13 | r2.node == response.node failure | Dejan Jovanović |
2012-06-13 | !current[0].isConst() failure | Dejan Jovanović |
2012-06-13 | benchmark to show that we don't rewrite bvsmod correctly | Dejan Jovanović |
2012-06-12 | wrong answer for bv | Dejan Jovanović |
2012-06-12 | bv reduced with decision: sat instead of unsat | Kshitij Bansal |
2012-06-12 | wrong answer benchmarks | Dejan Jovanović |
2012-06-11 | another benchmark that used to fail | Dejan Jovanović |
2012-06-11 | fixing bitvector bugs | Dejan Jovanović |
2012-06-11 | failing bv examples | Dejan Jovanović |
2012-06-08 | very small fast example for the bv fail | Dejan Jovanović |
2012-06-08 | small fuzz examples where bv fails | Dejan Jovanović |
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | Liana Hadarean |
2012-04-05 | Support to test the "dumper" mechanism in regressions (feeding dump output ba... | Morgan Deters |
2012-04-04 | * added propagation as lemmas to TheoryBV: | Liana Hadarean |
2012-02-20 | portfolio merge | Morgan Deters |
2011-10-29 | support for proof regressions in other parts of the test tree | Morgan Deters |
2011-05-02 | adding some previously-failing "bug" test cases for bitvectors | Morgan Deters |
2011-05-02 | updating bv regressions | Dejan Jovanović |
2011-04-20 | Minor mixed-bag commit. Expected performance impact negligible. | Morgan Deters |
2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |
2011-04-18 | more work on CVC language | Morgan Deters |
2011-04-11 | fix "make dist" issues in makefiles | Morgan Deters |
2011-03-26 | fix for bug 253, was propagating an asserted literal | Dejan Jovanović |
2011-03-26 | fix typo | Morgan Deters |
2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |
2011-03-21 | more bugfixes, some basic propagation, and testcases to cover them | Dejan Jovanović |
2011-03-21 | fixing a bug in the BV rewrite, off by one error when merging constants | Dejan Jovanović |
2011-03-20 | more bugfixes for bitvectors | Dejan Jovanović |
2011-03-20 | missed one case | Dejan Jovanović |
2011-03-20 | commit for the version of bitvectors that passes all the unit tests | Dejan Jovanović |
2011-02-17 | some unit tests to work on slicing | Dejan Jovanović |
2010-11-15 | fix some things with the build system (make dist, make install, make check) | Morgan Deters |
2010-09-24 | basic union find for bitvectors | Dejan Jovanović |
2010-09-21 | Rm'ing Makefile.in's | Christopher L. Conway |
2010-09-20 | hooking up the bitvector tests | Dejan Jovanović |
2010-09-20 | bitvector rewriting for the core theory and testcases | Dejan Jovanović |
2010-05-02 | smt parser for bit-vectors | Dejan Jovanović |