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

2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-14	Martin	Floating point theory solver based on SymFPU (#1895)	blob \| commitdiff \| raw \| diff to current
2017-10-10	Martin	Add skeleton of the FP theory solver (#1130)	blob \| commitdiff \| raw \| diff to current