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

[cvc5.git] / src / theory / fp / theory_fp_type_rules.h

2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	FP: Move implementation of type rules from header to...	blob \| commitdiff \| raw \| diff to current
2021-03-25	Aina Niemetz	FP: Refactor FloatingPointLiteral in preparation for...	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-11-20	Aina Niemetz	FloatingPoint: Separate out symFPU glue code. (#5492)	blob \| commitdiff \| raw \| diff to current
2020-11-18	Aina Niemetz	FloatingPoint: Clean up and document header, format...	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	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-08-28	Andres Noetzli	Remove throw specifiers in FP type checker (#2392)	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
2017-10-03	Martin	Add 5 FP kinds for partial to total fn conversion ...	blob \| commitdiff \| raw \| diff to current
2017-09-27	Martin Brain	Fix type checking of to_real (#1127)	blob \| commitdiff \| raw \| diff to current
2017-09-20	Martin	Add FP type enumerator and cardinality computer (#1104)	blob \| commitdiff \| raw \| diff to current
2017-09-14	Martin	Floating point symfpu support (#1093)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-10-03	Tim King	Removing the throw specifiers from theory_fp_type_rules.h.	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
2014-12-04	Martin Brain	Floating point infrastructure.	blob \| commitdiff \| raw \| diff to current

RSS Atom