projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
SyGuS grammar refactor (#3100)
2019-05-21
Martin
Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)
commit
|
commitdiff
|
tree
2019-05-17
Martin
Add the problematic input from issue 2183 as a regression...
commit
|
commitdiff
|
tree
2018-11-21
Martin
Obvious rewrites to floating-point < and <=. (#2706)
commit
|
commitdiff
|
tree
2018-07-06
Martin
Feature/fp rewrite improvement (#2154)
commit
|
commitdiff
|
tree
2018-05-14
Martin
Floating point theory solver based on SymFPU (#1895)
commit
|
commitdiff
|
tree
2017-10-10
Martin
Add skeleton of the FP theory solver (#1130)
commit
|
commitdiff
|
tree
2017-10-05
Martin
Allow CDHashMaps for objects without default constructors...
commit
|
commitdiff
|
tree
2017-10-03
Martin
Add 5 FP kinds for partial to total fn conversion ...
commit
|
commitdiff
|
tree
2017-09-27
Martin Brain
Fix type checking of to_real (#1127)
commit
|
commitdiff
|
tree
2017-09-27
Martin Brain
Improve FP rewriter: const folding, other (#1126)
commit
|
commitdiff
|
tree
2017-09-20
Martin
Add FP type enumerator and cardinality computer (#1104)
commit
|
commitdiff
|
tree
2017-09-19
Martin
Floating point symfpu support (#1103)
commit
|
commitdiff
|
tree
2017-09-15
Martin
Make floating-point comparison operators chainable...
commit
|
commitdiff
|
tree
2017-09-14
Martin
Floating point symfpu support (#1093)
commit
|
commitdiff
|
tree
2014-12-04
Martin Brain
Floating point infrastructure.
commit
|
commitdiff
|
tree
2014-03-19
Martin Brain
Refactor the theory specific parts of definition expansion...
commit
|
commitdiff
|
tree