projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Frontend support for the choice operator (#4175)
[cvc5.git]
/
test
/
regress
/
regress0
/
fp
/
2019-12-18
Andres Noetzli
Avoid calling rewriter from type checker (#3548)
tree
|
commitdiff
2019-05-21
Martin
Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)
tree
|
commitdiff
2019-05-18
Aina Niemetz
FP: Fix regression test and enable SymFPU on Travis...
tree
|
commitdiff
2019-05-17
Martin
Add the problematic input from issue 2183 as a regressi...
tree
|
commitdiff
2019-04-04
Haniel Barbosa
Ignoring FP benchmarks with "unsafe" sizes unless optio...
tree
|
commitdiff
2019-04-01
Andres Noetzli
FP: Fix wrong model due to partial assignment (#2910)
tree
|
commitdiff
2019-01-15
Andrew Reynolds
Fix unsound double abs rewrite rule for FP (#2792)
tree
|
commitdiff
2018-08-28
Andrew Reynolds
Refactor extended rewriter, move rewrites to aggressive...
tree
|
commitdiff
2018-08-16
Haniel Barbosa
Refactor extended rewriter preprocessing pass (#2324)
tree
|
commitdiff
2018-06-04
Andres Noetzli
Regressions: Support for requiring CVC4 features (...
tree
|
commitdiff