git.libre-soc.org Git - cvc5.git/history - src/theory/arith/nl/cad/cdcac.cpp

[cvc5.git] / src / theory / arith / nl / cad / cdcac.cpp

2021-08-20	Gereon Kremer	Use Env class in nonlinear extension (#7039)	blob \| commitdiff \| raw
2021-07-06	Gereon Kremer	Integrate Lazard into CAD module (#6812)	blob \| commitdiff \| raw \| diff to current
2021-06-29	Gereon Kremer	Add new variants for the CAD projection (#6794)	blob \| commitdiff \| raw \| diff to current
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-10	Aina Niemetz	Rename CVC4_ macros to CVC5_. (#6327)	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	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-24	Gereon Kremer	(proof-new) Add proofs for CAD solver (#5981)	blob \| commitdiff \| raw \| diff to current
2021-02-22	Gereon Kremer	add pruneRedundantIntervals (#5950)	blob \| commitdiff \| raw \| diff to current
2021-01-07	Gereon Kremer	Make sure polynomials are properly factorized in nl...	blob \| commitdiff \| raw \| diff to current
2020-10-01	Gereon Kremer	Allow to use the initial assignment for CAD (#5177)	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-09-17	Gereon Kremer	(cad-solver) Fix square-free-basis computation (#5085)	blob \| commitdiff \| raw \| diff to current
2020-08-19	Gereon Kremer	(cad solver) Add a partial check method. (#4904)	blob \| commitdiff \| raw \| diff to current
2020-08-16	Gereon Kremer	(cad solver) Use the current model as initial assignmen...	blob \| commitdiff \| raw \| diff to current
2020-08-14	Gereon Kremer	Inspect roots to avoid certain resultants (Algorithm...	blob \| commitdiff \| raw \| diff to current
2020-08-12	Gereon Kremer	Add naive support for integer variables. (#4835)	blob \| commitdiff \| raw \| diff to current
2020-07-30	Gereon Kremer	Cad implementation (#4774)	blob \| commitdiff \| raw \| diff to current
2020-07-30	Gereon Kremer	Adds the interface for the CAD-based arithmetic solver...	blob \| commitdiff \| raw \| diff to current

RSS Atom