git.libre-soc.org Git - cvc5.git/search

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