projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Set assertion in `CnfStream::ensureLiteral()` (#3927)
[cvc5.git]
/
test
/
regress
/
regress0
/
arith
/
2020-03-06
Andres Noetzli
Remove --apply-to-const preprocessing pass (#3919)
tree
|
commitdiff
2020-02-22
Alex Ozdemir
Switch to th_lira.plf (#3741)
tree
|
commitdiff
2020-02-08
Andres Noetzli
Make "unknown" non-critical for unsat cores check ...
tree
|
commitdiff
2020-02-04
Alex Ozdemir
Regression tests for arithmetic proofs. (#3701)
tree
|
commitdiff
2020-01-31
Andres Noetzli
Fix arithmetic rewriter for exponential (#3688)
tree
|
commitdiff
2019-12-31
Alex Ozdemir
[proof] ITE translation fix (#3484)
tree
|
commitdiff
2019-10-28
Andres Noetzli
Fix integer division rewrite (#3415)
tree
|
commitdiff
2019-10-13
Andrew Reynolds
Eliminate negative constant coefficients in div/mod...
tree
|
commitdiff
2019-10-08
Ying Sheng
Make ackermannization generally applicable rather than...
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added regression tests and target make regress.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-27
Andrew Reynolds
Make division chainable in the smt2 parser (#2367)
tree
|
commitdiff
2018-08-21
Andres Noetzli
Remove support for *.expect files in regressions (...
tree
|
commitdiff
2018-08-16
Haniel Barbosa
Refactor apply2const (#2316)
tree
|
commitdiff
2018-05-23
Andres Noetzli
Set same options for proofs as for unsat cores (#1957)
tree
|
commitdiff
2018-03-21
Mathias Preiner
Refactor mkoptions (#1631)
tree
|
commitdiff
2018-03-21
Andres Noetzli
Move regression tests to single Makefile.am (#1658)
tree
|
commitdiff
2018-02-15
Andrew Reynolds
Refactor regressions (#1581)
tree
|
commitdiff
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
tree
|
commitdiff
2017-08-04
ajreynol
Set default language to smt lib 2.6 (including as a...
tree
|
commitdiff
2017-06-28
ajreynol
Enable non-linear solve by default, update regressions.
tree
|
commitdiff
2017-06-21
Andrew Reynolds
Merge pull request #175 from CVC4/fix_uninit
tree
|
commitdiff
2017-06-21
ajreynol
Properly handle subtypes in smt2 printer.
tree
|
commitdiff
2017-06-02
ajreynol
Fix regression.
tree
|
commitdiff
2017-06-02
ajreynol
Incorporate datatypes into smt comp script, add regression.
tree
|
commitdiff
2017-04-06
Clark Barrett
Merge pull request #143 from FabianWolff/master
tree
|
commitdiff
2017-04-04
Fabian Wolff
Fix several spelling errors
tree
|
commitdiff
2017-04-04
Clark Barrett
Merge pull request #141 from 4tXJ7f/remove_def
tree
|
commitdiff
2017-04-03
Andrew Reynolds
Merge pull request #142 from timothy-king/nlAlgMerge
tree
|
commitdiff
2017-04-03
Tim King
Adding a model based axiom instantiation scheme for...
tree
|
commitdiff
2017-01-18
Andrew Reynolds
Merge pull request #128 from 4tXJ7f/fix_lfsc_perf
tree
|
commitdiff
2017-01-14
Clark Barrett
Merge pull request #130 from chadbrewbaker/master
tree
|
commitdiff
2017-01-11
Clark Barrett
Merge pull request #129 from timothy-king/regression...
tree
|
commitdiff
2017-01-11
Tim King
Adding regression test scrubbing.
tree
|
commitdiff
2016-11-18
Clark Barrett
Merge pull request #110 from 4tXJ7f/fix_makefiles
tree
|
commitdiff
2016-11-18
Andres Notzli
Fix Makefiles in test
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-04-23
Clark Barrett
Merge branch 'master' into google
tree
|
commitdiff
2015-04-23
Liana Hadarean
Added option for --check-unsat-cores and various core...
tree
|
commitdiff
2014-06-06
Kshitij Bansal
Merge pull request #28 from kbansal/sets
tree
|
commitdiff
2014-06-06
Tim King
Patch for the subtype theoryof mode to make the equalit...
tree
|
commitdiff
2014-04-01
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-26
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-03-05
Tim King
Improving support for POW in arithmetic. Resolves bug...
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-20
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-02-19
Tim King
Merge branch 'master' of github.com:CVC4/CVC4
tree
|
commitdiff
2014-02-19
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-19
Tim King
Stopping non-linear terms from entering the dio solver...
tree
|
commitdiff
2014-01-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-18
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-17
Kshitij Bansal
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-09
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-08
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-02
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-23
Morgan Deters
Proof-checking code; fixups of segfaults and missing...
tree
|
commitdiff
2013-12-09
Kshitij Bansal
mv prp to regress1
tree
|
commitdiff
2013-12-09
Kshitij Bansal
fix bug 542
tree
|
commitdiff
2013-12-09
Kshitij Bansal
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-09
Kshitij Bansal
mv prp to regress1
tree
|
commitdiff
2013-12-07
Kshitij Bansal
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-07
Kshitij Bansal
fix bug 542
tree
|
commitdiff
2013-12-04
Morgan Deters
Remove a regression for which the portfolio takes forev...
tree
|
commitdiff
2013-11-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-25
Tim King
Merge remote-tracking branch 'CVC4root/master'
tree
|
commitdiff
2013-11-25
Tim King
Substantial Changes:
tree
|
commitdiff
2013-11-11
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-11-11
Morgan Deters
Change exit status to be more consistent with other...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-09-18
Morgan Deters
Support a personal build configuration and make rules.
tree
|
commitdiff
2013-09-13
Morgan Deters
Move some regress benchmarks around that took too long...
tree
|
commitdiff
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-25
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-25
Morgan Deters
Support for abs, to_int, is_int, divisible in SMT-LIB...
tree
|
commitdiff
2013-06-19
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-04
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-29
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-21
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-21
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-20
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-09
Kshitij Bansal
Merge branch 'master' of ssh://github.com/CVC4/CVC4
tree
|
commitdiff
2013-05-09
Tim King
Changing the integer normal form to increase matching.
tree
|
commitdiff
2013-04-30
lianah
fixed merge conflicts
tree
|
commitdiff
2013-04-26
Tim King
FCSimplex branch merge
tree
|
commitdiff
2013-03-20
Liana Hadarean
merged master with dejan's constant evaluating equality...
tree
|
commitdiff
2013-03-19
Morgan Deters
Fixes for miplib-trick application (and a new testcase)
tree
|
commitdiff
2013-03-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-13
lianah
post failed attempts at getting the incremental solver...
tree
|
commitdiff
2013-03-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
next