projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Refactor setup of proof equality engine for central EE (#6831)
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
2021-04-12
Gereon Kremer
Refactor resource manager (#6322)
commit
|
commitdiff
|
tree
2021-04-12
Gereon Kremer
Only require GMP 6.1 (#6332)
commit
|
commitdiff
|
tree
2021-04-09
Gereon Kremer
Add missing InferenceIds to toString (#6320)
commit
|
commitdiff
|
tree
2021-04-08
Gereon Kremer
Use newer version of update-pr-branch action. (#6315)
commit
|
commitdiff
|
tree
2021-04-02
Gereon Kremer
Add cache for new dependencies folder. (#6265)
commit
|
commitdiff
|
tree
2021-04-02
Gereon Kremer
New statistics registry (#6210)
commit
|
commitdiff
|
tree
2021-04-02
Gereon Kremer
Minor refactoring (#6273)
commit
|
commitdiff
|
tree
next