summaryrefslogtreecommitdiff
path: root/test/regress/regress0/aufbv
AgeCommit message (Expand)Author
2020-02-24Make lambda rewriter more robust (#3806)Andres Noetzli
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
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
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2016-11-17Fix Makefiles in testAndres Notzli
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
2016-06-01Merge from proof branchGuy
2016-06-01Revert "Merging proof branch"Guy
2016-06-01Merging proof branchGuy
2014-08-28fixing bug580 caused by bad bv inequality explanationlianah
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-05-07fix for bug500Dejan Jovanović
2013-02-26Merge branch '1.0.x'lianah
2013-02-26fix for bv crash in incremental mode; this is a temporary fix for bug 493lianah
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2012-11-17Fixed last currently known bug in array modelsClark Barrett
2012-11-16Fix for bug451Clark Barrett
2012-11-15fuzz15 should have been fuzz14Clark Barrett
2012-11-15Fixed another AUFBV model bug. BV equality subtheory needed to do somethingClark Barrett
2012-11-14bug fixes to models, array rewriter with previously failing testcasesClark Barrett
2012-11-13Fixed an array rewriting bug found by fuzzerClark Barrett
2012-11-13Testcases for fixed bugsClark Barrett
2012-11-10Fixed missing \ in uflra/Makefile.maClark Barrett
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-06-28Fixed bug in bv rewriter that caused wrong answer in SMT-COMPsmtcomp2012-resubmission-2Clark Barrett
2012-06-17fixing wrong assertionDejan Jovanović
2012-06-16changing theoryOf in shared mode with arrays to move equalities to arraysDejan Jovanović
2012-06-15Fixes some assertion failuresClark Barrett
2012-06-14fixing the problems with the bvminisat. there was a case when things would ge...Dejan Jovanović
2012-06-14fixes for the hasTerm issues in the shared database under the decision heuristicDejan Jovanović
2012-06-14This commit:Kshitij Bansal
2012-06-14* removing rewriteEquality from the rewriterDejan Jovanović
2012-06-13enabling regressions from last night, all fixedDejan Jovanović
2012-06-13r2.node == response.node failureDejan Jovanović
2012-06-12missing problemsDejan Jovanović
2012-06-12bufixes and the bugsDejan Jovanović
2012-06-12more breakage in aufbvDejan Jovanović
2012-06-12tests for the Dejan Jovanović
2012-06-11some failing examplesDejan Jovanović
2012-06-10adding an assertion to trigger the problem of bug349 and the testcaseDejan Jovanović
2012-06-10fixes for bug347Dejan Jovanović
2012-06-07fixing the wrong results. arrays equality adaptor had a missing case when pro...Dejan Jovanović
2012-06-07cleaning up the expample for the futureDejan Jovanović
2012-06-07Added small test case for diseq propagationClark Barrett
2012-06-07fixing some bugs in propagation of disequalitiesDejan Jovanović
2012-06-06Fixing numerous issues with tests and "make dist":Morgan Deters
2012-06-06Changes to the combination mechanism, lots of details. Not done yet, there ar...Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback