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

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