projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Refactor filename handling (#7088)
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
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
next