projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix printing of models of uninterpreted sorts (#3597)
[cvc5.git] / test / regress / regress0 / uf /
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-04-11 Andrew Reynolds Eliminate Boolean ITE within terms, fixes 2947 (#2949) 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-03-21 Andres NoetzliFix various regression tests (#1657) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... 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
2015-11-07 Tim KingChanging file permissions to add or remove executable... tree | commitdiff
2015-11-05 Tim KingMerging the google branch back into master. tree | commitdiff
2015-11-05 Tim KingFixes some initialization and desctruction problems... tree | commitdiff
2015-06-01 ajreynolWhen proof enabled, disable uf sym break. Add regression. tree | commitdiff
2015-05-27 lianahMerge pull request #75 from Dunedune/master tree | commitdiff
2015-05-25 ajreynolAdd missing regression tree | commitdiff
2015-05-25 ajreynolBug fix for CNF proofs (and/or case 1), thanks to Alain... tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-21 Clark BarrettFix file permissions tree | commitdiff
2015-03-10 ajreynolCNF proofs. Infrastructure for preprocessing proofs... 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-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-12 Morgan DetersSome standardization of regression Makefiles that got... 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-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-11-11 Morgan DetersChange exit status to be more consistent with other... tree | commitdiff
2013-11-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-06 lianahfixed proof regression script and added a new uf test... 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-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' 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-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-27 Morgan DetersFirst chunk of boolean-terms support. tree | commitdiff
2012-08-28 Morgan Detersfix regression tests for automake 1.11 and automake... tree | commitdiff
2012-04-05 Morgan DetersSupport to test the "dumper" mechanism in regressions... tree | commitdiff
2012-02-20 Morgan Detersportfolio merge tree | commitdiff
2011-10-29 Morgan Deterssupport for proof regressions in other parts of the... tree | commitdiff
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: tree | commitdiff
2011-07-11 Morgan Detersmerge from symmetry branch tree | commitdiff
2011-07-09 Morgan Detersminor fixups tree | commitdiff
2011-07-09 Dejan Jovanovićsurprize surprize tree | commitdiff
2011-06-30 Morgan Detersonly use theory registration if (1) a theory requests... tree | commitdiff
2011-03-30 Morgan Detersimprove recent low-coverage complaints tree | commitdiff
2011-03-26 Morgan Detersfix typo tree | commitdiff
2011-03-25 Morgan DetersThis is a merge from the "theoryfixes+cdattrhash" branc... tree | commitdiff
2010-11-19 Morgan DetersMerge from ufprop branch, including: tree | commitdiff
2010-10-20 Morgan Detersfix bug #220 (assertion fails if no query/check-sat... tree | commitdiff
2010-10-12 Morgan DetersMerge from cc-memout branch. Here are the main points tree | commitdiff
2010-10-10 Morgan Detersadditional model gen and SMT-LIBv2 compliance work... tree | commitdiff
2010-09-28 Morgan Detersfix predicate bug in UF; code cleanup in theory.cpp tree | commitdiff
2010-09-02 Morgan Detersrecategorize eq_diamond14 as a regress2 test (instead... tree | commitdiff
2010-08-19 Morgan DetersUF theory bug fixes, code cleanup, and extra debugging... tree | commitdiff
2010-08-18 Morgan Detersmore tests, configuration for UF tree | commitdiff
2010-08-17 Morgan DetersMerge from "cc" branch: tree | commitdiff
2010-07-04 Morgan Detersmake dist && make distcheck functional, other fixes tree | commitdiff
2010-04-04 Morgan Deters* Node::isAtomic() now looks at an "atomic" attribute... tree | commitdiff
2010-03-30 Christopher L. ConwayRemoving unnecessary .gitignores tree | commitdiff
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) tree | commitdiff
2010-03-12 Dejan JovanovićFixing unnecessary construction of NOT nodes when... tree | commitdiff
2010-03-11 Dejan JovanovićChanging const TNode& to TNode in the CNF conversion... tree | commitdiff
2010-03-11 Tim KingAdded some hand generated UF tests. Unfortunartely... tree | commitdiff
2010-03-11 Dejan JovanovićFix for the main bug that was bugging me -- Bug 49... tree | commitdiff
2010-03-09 Dejan JovanovićAdding the smallest of test cases from the smtlib. tree | commitdiff
next