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

2021-09-13	Gereon Kremer	Refactor options parsing (#7143)	commit \| commitdiff \| tree
2021-09-11	Gereon Kremer	Use StatisticsRegistry from Env (#7166)	commit \| commitdiff \| tree
2021-09-10	Gereon Kremer	Refactor command-line help (#7157)	commit \| commitdiff \| tree
2021-09-10	Gereon Kremer	Use EnvObj-based options in preprocessing (#7165)	commit \| commitdiff \| tree
2021-09-09	Gereon Kremer	Add Solver::getOutput() (#7162)	commit \| commitdiff \| tree
2021-09-08	Gereon Kremer	Refactor options::set() (#7138)	commit \| commitdiff \| tree
2021-09-08	Gereon Kremer	Work on comments (#7139)	commit \| commitdiff \| tree
2021-09-08	Gereon Kremer	A couple of minor cleanups (#7141)	commit \| commitdiff \| tree
2021-09-08	Gereon Kremer	Refactor code generation for options.h/.cpp (#7126)	commit \| commitdiff \| tree
2021-09-03	Gereon Kremer	Refactor option sanitizations (#7129)	commit \| commitdiff \| tree
2021-09-03	Gereon Kremer	Check that alternate is only set for bool (#7125)	commit \| commitdiff \| tree
2021-09-03	Gereon Kremer	Refactor options::get() and options::getNames() (#7135)	commit \| commitdiff \| tree
2021-09-03	Gereon Kremer	Remove "experimental" options (#7124)	commit \| commitdiff \| tree
2021-09-02	Gereon Kremer	Refactor options handlers (#7080)	commit \| commitdiff \| tree
2021-09-02	Gereon Kremer	Add API check whether option in getOptionInfo() exists...	commit \| commitdiff \| tree
2021-09-02	Gereon Kremer	Driver & Options cleanup (#7109)	commit \| commitdiff \| tree
2021-09-02	Gereon Kremer	Remove options::getAll() (#7111)	commit \| commitdiff \| tree
2021-09-01	Gereon Kremer	Make driver::totalTime a TimerStat (#7089)	commit \| commitdiff \| tree
2021-09-01	Gereon Kremer	No longer use direct access to options in driver (...	commit \| commitdiff \| tree
2021-08-31	Gereon Kremer	Make sure modes are sorted in ModeInfo (#7097)	commit \| commitdiff \| tree
2021-08-30	Gereon Kremer	Add API function to obtain information about a single...	commit \| commitdiff \| tree
2021-08-30	Gereon Kremer	Refactor filename handling (#7088)	commit \| commitdiff \| tree
2021-08-27	Gereon Kremer	Add Driver options (#7078)	commit \| commitdiff \| tree
2021-08-27	Gereon Kremer	Handle languages as strings in driver (#7074)	commit \| commitdiff \| tree
2021-08-26	Gereon Kremer	Fix a subtle issues with squashing the docs-ci history...	commit \| commitdiff \| tree
2021-08-26	Gereon Kremer	Improve integration of nonlinear arithmetic into the...	commit \| commitdiff \| tree
2021-08-26	Gereon Kremer	Consolidate language types (#7065)	commit \| commitdiff \| tree
2021-08-25	Gereon Kremer	Add missing include (#7067)	commit \| commitdiff \| tree
2021-08-23	Gereon Kremer	Move options parsing code to main (#7054)	commit \| commitdiff \| tree
2021-08-23	Gereon Kremer	Use options correctly in competition mode (#7053)	commit \| commitdiff \| tree
2021-08-20	Gereon Kremer	Make driver use options from the solver (#6930)	commit \| commitdiff \| tree
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
next

RSS Atom