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

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
2021-05-04	Gereon Kremer	Use proper commit hash for PRs (#6485)	commit \| commitdiff \| tree
2021-05-04	Gereon Kremer	Improve generation of python API documentation (#6482)	commit \| commitdiff \| tree
2021-05-03	Gereon Kremer	Add missing --auto-download in CI (#6478)	commit \| commitdiff \| tree
2021-05-03	Gereon Kremer	Add CI jobs to build docs (#6413)	commit \| commitdiff \| tree
2021-04-29	Gereon Kremer	Simplify generated code for getOption() and setOption...	commit \| commitdiff \| tree
2021-04-29	Gereon Kremer	Add missing include. (#6463)	commit \| commitdiff \| tree
2021-04-29	Gereon Kremer	Avoid exponential explosion of small constant in CEGQI...	commit \| commitdiff \| tree
2021-04-28	Gereon Kremer	Refactor resource manager options (#6446)	commit \| commitdiff \| tree
2021-04-28	Gereon Kremer	Remove exception headers from options.h (#6456)	commit \| commitdiff \| tree
2021-04-28	Gereon Kremer	Make sure reference stats are reset properly (#6457)	commit \| commitdiff \| tree
2021-04-28	Gereon Kremer	Clean up options holder class (#6458)	commit \| commitdiff \| tree
2021-04-28	Gereon Kremer	Cleanup DidYouMean (#6454)	commit \| commitdiff \| tree
2021-04-27	Gereon Kremer	Initial setup for docs of python API (#6445)	commit \| commitdiff \| tree
2021-04-27	Gereon Kremer	Use std::hash for API types (#6432)	commit \| commitdiff \| tree
2021-04-26	Gereon Kremer	Generate docs conf.py by cmake (#6441)	commit \| commitdiff \| tree
2021-04-26	Gereon Kremer	Protect int stats methods (#6442)	commit \| commitdiff \| tree
2021-04-26	Gereon Kremer	First part of options refactoring (#6428)	commit \| commitdiff \| tree
2021-04-23	Gereon Kremer	Add missing dependency for CaDiCaL (#6431)	commit \| commitdiff \| tree
2021-04-23	Gereon Kremer	Make sure a ReferenceStat is set to values of the correct...	commit \| commitdiff \| tree
2021-04-22	Gereon Kremer	Update INSTALL.md (#6412)	commit \| commitdiff \| tree
2021-04-22	Gereon Kremer	Add API documentation for statistics (#6364)	commit \| commitdiff \| tree
2021-04-22	Gereon Kremer	Remove unused stuff from options setup (#6422)	commit \| commitdiff \| tree
2021-04-21	Gereon Kremer	Add explicit dependencies for base lib (#6410)	commit \| commitdiff \| tree
2021-04-21	Gereon Kremer	Pass GMP to libpoly (#6411)	commit \| commitdiff \| tree
2021-04-20	Gereon Kremer	Add InferenceId as resources (#6339)	commit \| commitdiff \| tree
2021-04-20	Gereon Kremer	Split C++ API docs from general docs (#6365)	commit \| commitdiff \| tree
2021-04-20	Gereon Kremer	Basic setup for examples in documentation (#6383)	commit \| commitdiff \| tree
2021-04-20	Gereon Kremer	Properly link Poly against GMP (#6398)	commit \| commitdiff \| tree
2021-04-19	Gereon Kremer	Remove linking against gmp and cln in tests and parser...	commit \| commitdiff \| tree
2021-04-16	Gereon Kremer	Fix dependencies for stats options (#6378)	commit \| commitdiff \| tree
2021-04-16	Gereon Kremer	Refactor cmake: auto-download and default-on dependencies...	commit \| commitdiff \| tree
2021-04-16	Gereon Kremer	Replace SExpr class by simpler conversion routines...	commit \| commitdiff \| tree
2021-04-15	Gereon Kremer	Avoid options listener for resource manager. (#6366)	commit \| commitdiff \| tree
2021-04-15	Gereon Kremer	Fix printing of stats when aborted. (#6362)	commit \| commitdiff \| tree
2021-04-14	Gereon Kremer	Improve documentation for FP rounding mode, add bibliography...	commit \| commitdiff \| tree
2021-04-14	Gereon Kremer	Improve documentation of API kinds (#6341)	commit \| commitdiff \| tree
2021-04-14	Gereon Kremer	Improve documentation for API exceptions (#6340)	commit \| commitdiff \| tree
2021-04-14	Gereon Kremer	Refactor / reimplement statistics (#6162)	commit \| commitdiff \| tree
2021-04-14	Gereon Kremer	Fix libpoly build and use new release (#6354)	commit \| commitdiff \| tree
next

RSS Atom