summaryrefslogtreecommitdiff
path: root/test/regress/regress0/uflia
AgeCommit message (Expand)Author
2021-03-06Remove SMT-LIB 2.5 and 2.0 support. (#6068)Mathias Preiner
2021-02-25Move slow regressions to regress1 (#5999)Andrew Reynolds
2020-12-10Refactor regressions (#5639)Andrew Reynolds
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-08-20Remove support for *.expect files in regressions (#2341)Andres Noetzli
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
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-11-11Change exit status to be more consistent with other command-line tools: 0 suc...Morgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-09-13Move some regress benchmarks around that took too long, other test cleanup.Morgan Deters
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2012-10-05Bug-related:Morgan Deters
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-08-21add some incremental in-tree regressionsMorgan Deters
2012-06-13- Added a loop to internally assert constraints that are marked as true.Tim King
2012-06-12Fix to SMT-LIBv1 parser: QF_UF declares sort "U", but other *UF* logics do no...Morgan Deters
2012-06-12Assert fail equaility_engine.cpp: hasTerm(node) with --decision=justificationKshitij Bansal
2012-06-11Fix to term normalization of integer equalities. Adds a regression test that ...Tim King
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-06-07fixing some bugs in propagation of disequalitiesDejan Jovanović
2012-06-06Changes to the combination mechanism, lots of details. Not done yet, there ar...Dejan Jovanović
2012-05-07Fixing a bug with TheoryArith::ppAssert() and shared terms.Tim King
2012-04-17Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...Tim King
2012-04-05Support to test the "dumper" mechanism in regressions (feeding dump output ba...Morgan Deters
2012-03-22some improvements to the sharing mechanism/interfaceDejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback