git.libre-soc.org Git - cvc5.git/search

2020-08-28	Gereon Kremer	Make iand lemmas use proper Inference types. (#4956)	commit \| commitdiff \| tree
2020-08-24	Gereon Kremer	Fix memory issue in AntlrInput::parseError (#4873)	commit \| commitdiff \| tree
2020-08-19	Gereon Kremer	(cad solver) Add a partial check method. (#4904)	commit \| commitdiff \| tree
2020-08-19	Gereon Kremer	Changes assertion (about maximum set cardinality) to...	commit \| commitdiff \| tree
2020-08-19	Gereon Kremer	Fix SmtEngine::reset() (#4917)	commit \| commitdiff \| tree
2020-08-16	Gereon Kremer	(cad solver) Use the current model as initial assignment...	commit \| commitdiff \| tree
2020-08-14	Gereon Kremer	Inspect roots to avoid certain resultants (Algorithm...	commit \| commitdiff \| tree
2020-08-12	Gereon Kremer	Add naive support for integer variables. (#4835)	commit \| commitdiff \| tree
2020-08-12	Gereon Kremer	Fix infinite loop in arith_ite_simp (#4805)	commit \| commitdiff \| tree
2020-08-05	Gereon Kremer	Improve error message for unsupported exponents (#4852)	commit \| commitdiff \| tree
2020-08-05	Gereon Kremer	Add dummy returns if libpoly is unavailable. (#4845)	commit \| commitdiff \| tree
2020-08-04	Gereon Kremer	Properly initialize d_fullyInited. (#4840)	commit \| commitdiff \| tree
2020-08-04	Gereon Kremer	Add CAD-based solver (#4834)	commit \| commitdiff \| tree
2020-07-30	Gereon Kremer	Cad implementation (#4774)	commit \| commitdiff \| tree
2020-07-30	Gereon Kremer	Adds the interface for the CAD-based arithmetic solver...	commit \| commitdiff \| tree
2020-07-21	Gereon Kremer	Preparations for a CAD-based arithmetic solver (#4762)	commit \| commitdiff \| tree
2020-07-17	Gereon Kremer	Integration of libpoly (#4679)	commit \| commitdiff \| tree
2020-07-16	Gereon Kremer	Resource manager cleanup (#4732)	commit \| commitdiff \| tree
2020-07-16	Gereon Kremer	Remove cumulative time limits and cpu time limits ...	commit \| commitdiff \| tree
2020-07-16	Gereon Kremer	Fixes memory leak when an exception goes through runCvc4...	commit \| commitdiff \| tree
2020-07-15	Gereon Kremer	Add missing header (Fixes #4743) (#4749)	commit \| commitdiff \| tree
2020-07-13	Gereon Kremer	Implement --tlimit for windows (#4716)	commit \| commitdiff \| tree
2020-07-10	Gereon Kremer	Add deps/install/lib to RPATH and warn user when using...	commit \| commitdiff \| tree
2020-07-08	Gereon Kremer	Re-implement handling of --tlimit (#4655)	commit \| commitdiff \| tree

RSS Atom