summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bv
AgeCommit message (Expand)Author
2012-06-11fixing bitvector bugsDejan Jovanović
2012-06-11failing bv examplesDejan Jovanović
2012-06-08very small fast example for the bv failDejan Jovanović
2012-06-08small fuzz examples where bv fails Dejan Jovanović
2012-06-06Changes to the combination mechanism, lots of details. Not done yet, there ar...Dejan Jovanović
2012-05-08Merging in bvprop branch, with proper bit-vector propagation. Liana Hadarean
2012-04-05Support 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-20portfolio mergeMorgan Deters
2011-10-29support for proof regressions in other parts of the test treeMorgan Deters
2011-05-02adding some previously-failing "bug" test cases for bitvectorsMorgan Deters
2011-05-02updating bv regressionsDejan Jovanović
2011-04-20Minor mixed-bag commit. Expected performance impact negligible.Morgan Deters
2011-04-20Tuesday end-of-day commit.Morgan Deters
2011-04-18more work on CVC languageMorgan Deters
2011-04-11fix "make dist" issues in makefilesMorgan Deters
2011-03-26fix for bug 253, was propagating an asserted literalDejan Jovanović
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2011-03-21more bugfixes, some basic propagation, and testcases to cover themDejan Jovanović
2011-03-21fixing a bug in the BV rewrite, off by one error when merging constantsDejan Jovanović
2011-03-20more bugfixes for bitvectorsDejan Jovanović
2011-03-20missed one caseDejan Jovanović
2011-03-20commit for the version of bitvectors that passes all the unit testsDejan Jovanović
2011-02-17some unit tests to work on slicingDejan Jovanović
2010-11-15fix some things with the build system (make dist, make install, make check)Morgan Deters
2010-09-24basic union find for bitvectorsDejan Jovanović
2010-09-21Rm'ing Makefile.in'sChristopher L. Conway
2010-09-20hooking up the bitvector testsDejan Jovanović
2010-09-20bitvector rewriting for the core theory and testcasesDejan Jovanović
2010-05-02smt parser for bit-vectorsDejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback