projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix exact sqrt (#3721)
[cvc5.git] / test / regress / regress0 / tptp /
2019-07-30 Haniel BarbosaRemove hard coded option for TPTP regressions in run_re... tree | commitdiff
2019-03-14 Andrew ReynoldsImplement proper semantics for TPTP predicate is_rat... 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-07-13 Andrew Reynolds sygusComp2018: optimization for collect model info... tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) 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
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-10 Andrew ReynoldsAdd support for cardinality constraints logic UFC.... 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-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-18 Morgan DetersSupport a personal build configuration and make rules. tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-07-11 Morgan DetersSupport for TPTP's TFF0 (with arithmetic) tree | commitdiff