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

2021-08-20	Gereon Kremer	Use Env class in nonlinear extension (#7039)	commit \| commitdiff \| tree
2021-08-20	Gereon Kremer	Add CVC5ApiOptionException (#6992)	commit \| commitdiff \| tree
2021-08-19	Gereon Kremer	Start using Options via Env in arithmetic (#7032)	commit \| commitdiff \| tree
2021-08-18	Gereon Kremer	move collectAssertedTerms back to the theory class...	commit \| commitdiff \| tree
2021-08-17	Gereon Kremer	Push Env class into TheoryState (#7012)	commit \| commitdiff \| tree
2021-08-16	Gereon Kremer	Use InferenceManager in ExtTheory (#7006)	commit \| commitdiff \| tree
2021-08-16	Gereon Kremer	Make Theory class use Env (#7011)	commit \| commitdiff \| tree
2021-08-13	Gereon Kremer	Refactor setDefaults to use an options object (#6994)	commit \| commitdiff \| tree
2021-08-10	Gereon Kremer	Simplify generation of option module code. (#6995)	commit \| commitdiff \| tree
2021-08-06	Gereon Kremer	Merge options cmake into general cmake file (#6989)	commit \| commitdiff \| tree
2021-08-06	Gereon Kremer	Clear options manager (#6991)	commit \| commitdiff \| tree
2021-08-05	Gereon Kremer	No longer call solver constructor with an options object...	commit \| commitdiff \| tree
2021-08-04	Gereon Kremer	Consolidate solver resets (#6986)	commit \| commitdiff \| tree
2021-08-04	Gereon Kremer	Refactor managed streams (#6934)	commit \| commitdiff \| tree
2021-08-04	Gereon Kremer	Add API function to get list of option names (#6971)	commit \| commitdiff \| tree
2021-08-04	Gereon Kremer	Replace numeric predicates by explicit minimum and...	commit \| commitdiff \| tree
2021-08-03	Gereon Kremer	Use int64_t, uint64_t or double for all numeric options...	commit \| commitdiff \| tree
2021-08-03	Gereon Kremer	Properly honor --stats-all and --stats-expert when...	commit \| commitdiff \| tree
2021-07-31	Gereon Kremer	Perform statistics printing via the API (#6952)	commit \| commitdiff \| tree
2021-07-30	Gereon Kremer	Allow changing certain options while solving (#6945)	commit \| commitdiff \| tree
2021-07-29	Gereon Kremer	Integrate installation instructions into documentation...	commit \| commitdiff \| tree
2021-07-28	Gereon Kremer	Only use libedit on tty inputs (#6946)	commit \| commitdiff \| tree
2021-07-26	Gereon Kremer	Move public options functions to separate file (#6671)	commit \| commitdiff \| tree
2021-07-14	Gereon Kremer	Clean up option usage in command executor (#6844)	commit \| commitdiff \| tree
2021-07-06	Gereon Kremer	Integrate Lazard into CAD module (#6812)	commit \| commitdiff \| tree
2021-07-06	Gereon Kremer	Add doc page about transcendentals (#6755)	commit \| commitdiff \| tree
2021-07-02	Gereon Kremer	Refactor lexer for SMT-LIB in sphinx (#6805)	commit \| commitdiff \| tree
2021-07-01	Gereon Kremer	Fix message to show that cadical and symfpu are required...	commit \| commitdiff \| tree
2021-06-30	Gereon Kremer	Use authored date instead of commit date. (#6815)	commit \| commitdiff \| tree
2021-06-29	Gereon Kremer	Add new variants for the CAD projection (#6794)	commit \| commitdiff \| tree
2021-06-24	Gereon Kremer	Add CoCoA implementation (#6733)	commit \| commitdiff \| tree
2021-06-16	Gereon Kremer	Properly consider aliases in option handlers (#6683)	commit \| commitdiff \| tree
2021-06-15	Gereon Kremer	Update to a more recent libpoly version. (#6730)	commit \| commitdiff \| tree
2021-06-15	Gereon Kremer	Add cocoalib (#6731)	commit \| commitdiff \| tree
2021-06-15	Gereon Kremer	Remove public option wrappers (#6716)	commit \| commitdiff \| tree
2021-06-11	Gereon Kremer	Add skeleton for new Lazard evaluation (#6732)	commit \| commitdiff \| tree
2021-06-09	Gereon Kremer	Make squasing more robust (#6713)	commit \| commitdiff \| tree
2021-06-09	Gereon Kremer	Push complex check inside GetInstantiationsCommand...	commit \| commitdiff \| tree
2021-06-09	Gereon Kremer	Require statistics for regression (#6714)	commit \| commitdiff \| tree
2021-06-08	Gereon Kremer	Fix statistics option handler (#6703)	commit \| commitdiff \| tree
2021-06-08	Gereon Kremer	Make env hold a pointer to the original options to...	commit \| commitdiff \| tree
2021-06-08	Gereon Kremer	Remove `binary_name` option (#6693)	commit \| commitdiff \| tree
2021-06-07	Gereon Kremer	Remove `Options::wasSetByUser()` (#6682)	commit \| commitdiff \| tree
2021-06-06	Gereon Kremer	Support public option modules (#6691)	commit \| commitdiff \| tree
2021-06-04	Gereon Kremer	Add missing dereference (#6684)	commit \| commitdiff \| tree
2021-06-04	Gereon Kremer	Some cleanup in `mkoptions.py` (#6667)	commit \| commitdiff \| tree
2021-06-02	Gereon Kremer	Use proper variable name (#6670)	commit \| commitdiff \| tree
2021-06-02	Gereon Kremer	Remove `Options::operator[]` (#6649)	commit \| commitdiff \| tree
2021-06-02	Gereon Kremer	Move public wrapper functions out of options class...	commit \| commitdiff \| tree
2021-06-02	Gereon Kremer	Fix issues with double negation in circuit propagator...	commit \| commitdiff \| tree
2021-06-02	Gereon Kremer	Fix issues when poly is disabled (#6668)	commit \| commitdiff \| tree
2021-06-02	Gereon Kremer	Make `Options::assign()` specializations free functions...	commit \| commitdiff \| tree
2021-06-02	Gereon Kremer	Do manual squash cleanup for docs (#6646)	commit \| commitdiff \| tree
2021-05-31	Gereon Kremer	Remove Options::ref() (#6647)	commit \| commitdiff \| tree
2021-05-29	Gereon Kremer	Remove `Options::set()` method (#6556)	commit \| commitdiff \| tree
2021-05-28	Gereon Kremer	Add non-templated method to set option defaults (#6540)	commit \| commitdiff \| tree
2021-05-27	Gereon Kremer	Avoid uploading docs if they did not change (#6621)	commit \| commitdiff \| tree
2021-05-26	Gereon Kremer	Use references instead of getter functions (#6597)	commit \| commitdiff \| tree
2021-05-26	Gereon Kremer	Add more examples to the documentation (#6569)	commit \| commitdiff \| tree
2021-05-26	Gereon Kremer	Ensure proper types in unit tests (#6598)	commit \| commitdiff \| tree
2021-05-26	Gereon Kremer	Reduce size of sphinx-gh output (#6601)	commit \| commitdiff \| tree
2021-05-21	Gereon Kremer	Move option names out of struct (#6554)	commit \| commitdiff \| tree
2021-05-20	Gereon Kremer	Properly initialize. (#6586)	commit \| commitdiff \| tree
2021-05-20	Gereon Kremer	Use most recent version of libpoly (#6587)	commit \| commitdiff \| tree
2021-05-20	Gereon Kremer	Minor improvements to the API (#6585)	commit \| commitdiff \| tree
2021-05-20	Gereon Kremer	Add more getters for api::Term (#6496)	commit \| commitdiff \| tree
2021-05-19	Gereon Kremer	Remove accidental print (#6568)	commit \| commitdiff \| tree
2021-05-19	Gereon Kremer	Generate command line options for sphinx docs (#6555)	commit \| commitdiff \| tree
2021-05-17	Gereon Kremer	Replace smt_name by aliases (#6541)	commit \| commitdiff \| tree
2021-05-17	Gereon Kremer	Improve integration of CAD with nl-Ext (#6542)	commit \| commitdiff \| tree
2021-05-14	Gereon Kremer	Restrict additional CI jobs (#6539)	commit \| commitdiff \| tree
2021-05-13	Gereon Kremer	Split options holder class (#6527)	commit \| commitdiff \| tree
2021-05-12	Gereon Kremer	Move docs upload to a different workflow (#6512)	commit \| commitdiff \| tree
2021-05-12	Gereon Kremer	Use signal(sig, SIG_DFL); raise(sig); instead of abort...	commit \| commitdiff \| tree
2021-05-10	Gereon Kremer	Remove header for option modules (#6514)	commit \| commitdiff \| tree
2021-05-10	Gereon Kremer	Remove read_only from options. (#6513)	commit \| commitdiff \| tree
2021-05-07	Gereon Kremer	Integrate documentation build with the regular CI workflow...	commit \| commitdiff \| tree
2020-12-09	Gereon Kremer	Split initial exp lemma into separate lemmas. (#5622)	commit \| commitdiff \| tree
2020-12-08	Gereon Kremer	Add regression from #1978. (#5552)	commit \| commitdiff \| tree
2020-12-07	Gereon Kremer	Refactor initial phase of transcendental solver (#5599)	commit \| commitdiff \| tree
2020-08-24	Gereon Kremer	Fix memory issue in AntlrInput::parseError (#4873)	commit \| commitdiff \| tree
2020-07-21	Gereon Kremer	Preparations for a CAD-based arithmetic solver (#4762)	commit \| commitdiff \| tree

RSS Atom