projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make lambda rewriter more robust (#3806)
[cvc5.git] / test / regress / regress0 / aufbv /
2020-02-24 Andres NoetzliMake lambda rewriter more robust (#3806) tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles tree | commitdiff
2016-11-18 Andres NotzliFix Makefiles in test tree | commitdiff
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-06 guykatzzMerge pull request #85 from CVC4/master_for_proof_merge tree | commitdiff
2016-06-02 GuyMerge from proof branch tree | commitdiff
2016-06-02 GuyRevert "Merging proof branch" tree | commitdiff
2016-06-02 GuyMerging proof branch tree | commitdiff
2014-08-28 lianahfixing bug580 caused by bad bv inequality explanation tree | commitdiff
2014-08-28 lianahfixing bug580 caused by bad bv inequality explanation tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-19 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-01-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-17 Kshitij BansalMerge branch '1.3.x' tree | commitdiff
2014-01-09 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-08 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-02 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-18 Morgan DetersSupport a personal build configuration and make rules. tree | commitdiff
2013-05-07 Dejan Jovanovićfix for bug500 tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-13 lianahpost failed attempts at getting the incremental solver... tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... tree | commitdiff
2013-02-26 lianahfix for bv crash in incremental mode; this is a tempora... tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-16 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tim KingMerge branch '1.0.x' tree | commitdiff
2013-02-08 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-02 lianahmerged master into branch tree | commitdiff
2013-02-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-31 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan Deterssome fixes for win32, including ability to "make check... tree | commitdiff
2012-11-17 Clark BarrettFixed last currently known bug in array models tree | commitdiff
2012-11-16 Clark BarrettFix for bug451 tree | commitdiff
2012-11-15 Clark Barrettfuzz15 should have been fuzz14 tree | commitdiff
2012-11-15 Clark BarrettFixed another AUFBV model bug. BV equality subtheory... tree | commitdiff
2012-11-14 Clark Barrettbug fixes to models, array rewriter with previously... tree | commitdiff
2012-11-13 Clark BarrettFixed an array rewriting bug found by fuzzer tree | commitdiff
2012-11-13 Clark BarrettTestcases for fixed bugs tree | commitdiff
2012-11-10 Clark BarrettFixed missing \ in uflra/Makefile.ma tree | commitdiff
2012-08-28 Morgan Detersfix regression tests for automake 1.11 and automake... tree | commitdiff
2012-06-28 Clark BarrettFixed bug in bv rewriter that caused wrong answer in... tree | commitdiff
2012-06-17 Dejan Jovanovićfixing wrong assertion tree | commitdiff
2012-06-16 Dejan Jovanovićchanging theoryOf in shared mode with arrays to move... tree | commitdiff
2012-06-15 Clark BarrettFixes some assertion failures tree | commitdiff
2012-06-14 Dejan Jovanovićfixing the problems with the bvminisat. there was a... tree | commitdiff
2012-06-14 Dejan Jovanovićfixes for the hasTerm issues in the shared database... tree | commitdiff
2012-06-14 Kshitij BansalThis commit: tree | commitdiff
2012-06-14 Dejan Jovanović* removing rewriteEquality from the rewriter tree | commitdiff
2012-06-13 Dejan Jovanovićenabling regressions from last night, all fixed tree | commitdiff
2012-06-13 Dejan Jovanovićr2.node == response.node failure tree | commitdiff
2012-06-12 Dejan Jovanovićmissing problems tree | commitdiff
2012-06-12 Dejan Jovanovićbufixes and the bugs tree | commitdiff
2012-06-12 Dejan Jovanovićmore breakage in aufbv tree | commitdiff
2012-06-12 Dejan Jovanovićtests for the tree | commitdiff
2012-06-11 Dejan Jovanovićsome failing examples tree | commitdiff
2012-06-10 Dejan Jovanovićadding an assertion to trigger the problem of bug349... tree | commitdiff
2012-06-10 Dejan Jovanovićfixes for bug347 tree | commitdiff
2012-06-07 Dejan Jovanovićfixing the wrong results. arrays equality adaptor had... tree | commitdiff
2012-06-07 Dejan Jovanovićcleaning up the expample for the future tree | commitdiff
2012-06-07 Clark BarrettAdded small test case for diseq propagation tree | commitdiff
2012-06-07 Dejan Jovanovićfixing some bugs in propagation of disequalities tree | commitdiff
2012-06-06 Morgan DetersFixing numerous issues with tests and "make dist": tree | commitdiff
2012-06-06 Dejan JovanovićChanges to the combination mechanism, lots of details... tree | commitdiff
2012-05-17 Liana HadareanFixed bug 338: tree | commitdiff
2012-05-08 Liana HadareanMerging in bvprop branch, with proper bit-vector propag... tree | commitdiff
2012-04-18 Kshitij Bansaladd the missing BINARY variable in some test/regress... tree | commitdiff
2012-04-11 Morgan Detersmerge from arrays-clark branch tree | commitdiff