git.libre-soc.org Git - cvc5.git/history - src/theory/fp/theory

2018-05-24	Andres Noetzli	Fix compiler warnings (#1959)	blob \| commitdiff \| raw
2018-05-14	Martin	Floating point theory solver based on SymFPU (#1895)	blob \| commitdiff \| raw \| diff to current
2018-03-05	Mathias Preiner	Enable -Wsuggest-override by default. (#1643)	blob \| commitdiff \| raw \| diff to current
2018-02-06	Tim King	Resolving warnings from -Winconsistent-missing-override...	blob \| commitdiff \| raw \| diff to current
2017-12-08	Andrew Reynolds	Make collect model info return a Bool (#1421)	blob \| commitdiff \| raw \| diff to current
2017-10-10	Martin	Add skeleton of the FP theory solver (#1130)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-01-28	Tim King	Adding listeners to Options.	blob \| commitdiff \| raw \| diff to current
2016-01-06	Tim King	Add SmtGlobals Class	blob \| commitdiff \| raw \| diff to current
2014-12-04	Martin Brain	Floating point infrastructure.	blob \| commitdiff \| raw \| diff to current