summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bv/core
AgeCommit message (Expand)Author
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-06-12Refactor parser to define fewer tokens for symbols (#2936)Andres Noetzli
2019-03-16Enable CryptoMiniSat-backed BV proofs (#2847)Alex Ozdemir
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2016-11-17Fix Makefiles in testAndres Notzli
2014-03-12Some standardization of regression Makefiles that got out of sync. Fixes cas...Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-03-21added regression test for constant evallianah
2013-03-19fixed reversed concat in core theoryLiana Hadarean
2013-03-16started work on the inequality bv subtheorylianah
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-06-12bv reduced with decision: sat instead of unsatKshitij Bansal
2012-06-11fixing bitvector bugsDejan Jovanović
2012-04-05Support to test the "dumper" mechanism in regressions (feeding dump output ba...Morgan Deters
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-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ć
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback