git.libre-soc.org Git - cvc5.git/history - src/theory/arith/nl/transcendental/exponential

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-09	Gereon Kremer	Some more cleanup of includes (#6083)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-03-02	Gereon Kremer	Clean up includes to reduce compile times (#6031)	blob \| commitdiff \| raw \| diff to current
2021-02-22	Gereon Kremer	(proof-new) Add proofs for exponential functions (...	blob \| commitdiff \| raw \| diff to current
2020-12-07	Gereon Kremer	Refactor initial phase of transcendental solver (#5599)	blob \| commitdiff \| raw \| diff to current
2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-12-01	Gereon Kremer	Refactor transcendental solver (#5539)	blob \| commitdiff \| raw \| diff to current
2020-11-25	Gereon Kremer	Fix transcendental secant plane lemmas (#5525)	blob \| commitdiff \| raw \| diff to current
2020-11-25	Gereon Kremer	Refactor transcendental solver (#5514)	blob \| commitdiff \| raw \| diff to current