projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
remove stuff (#7258)
[cvc5.git]
/
src
/
options
/
2021-09-23
Gereon Kremer
Eliminate Output macro in favor of simple Env functions...
tree
|
commitdiff
2021-09-23
Lachnitt
[proofs] Alethe: Add Alethe Files to be Compiled ...
tree
|
commitdiff
2021-09-22
Mathias Preiner
Remove CVC language support (#7219)
tree
|
commitdiff
2021-09-22
Andrew Reynolds
Add extensionality option for strings disequalities...
tree
|
commitdiff
2021-09-20
Gereon Kremer
Add anchors to cmdline options (#7210)
tree
|
commitdiff
2021-09-18
Gereon Kremer
Refactor tag suggestion mechanism (#7199)
tree
|
commitdiff
2021-09-15
Gereon Kremer
remove options that are no longer used (#7197)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Add get-difficulty to the API (#7194)
tree
|
commitdiff
2021-09-14
Gereon Kremer
Final cleanup (#7193)
tree
|
commitdiff
2021-09-14
Gereon Kremer
Refactor code generation for option modules (#7182)
tree
|
commitdiff
2021-09-14
Gereon Kremer
Turn sphinx generation into a function (#7181)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Reimplement `--dump=raw-benchmark` as `-o raw-benchmark...
tree
|
commitdiff
2021-09-13
Andrew Reynolds
Connect difficulty manager to TheoryEngine (#7161)
tree
|
commitdiff
2021-09-13
Gereon Kremer
Add Solver::isOutputOn() (#7187)
tree
|
commitdiff
2021-09-13
Gereon Kremer
Refactor generation code for getInfo() (#7176)
tree
|
commitdiff
2021-09-13
Gereon Kremer
Add main options to cmake (#7178)
tree
|
commitdiff
2021-09-13
Gereon Kremer
Reorder code (#7175)
tree
|
commitdiff
2021-09-13
Gereon Kremer
Refactor options parsing (#7143)
tree
|
commitdiff
2021-09-10
Gereon Kremer
Refactor command-line help (#7157)
tree
|
commitdiff
2021-09-09
Gereon Kremer
Add Solver::getOutput() (#7162)
tree
|
commitdiff
2021-09-09
Andrew Reynolds
Add difficulty manager (#7151)
tree
|
commitdiff
2021-09-08
Gereon Kremer
Refactor options::set() (#7138)
tree
|
commitdiff
2021-09-08
Gereon Kremer
Work on comments (#7139)
tree
|
commitdiff
2021-09-08
Gereon Kremer
A couple of minor cleanups (#7141)
tree
|
commitdiff
2021-09-08
Gereon Kremer
Refactor code generation for options.h/.cpp (#7126)
tree
|
commitdiff
2021-09-08
Andrew Reynolds
Add option for using bound inference for relevant asser...
tree
|
commitdiff
2021-09-07
Andrew Reynolds
Refactoring of proof manager initialization (#7073)
tree
|
commitdiff
2021-09-03
Gereon Kremer
Refactor option sanitizations (#7129)
tree
|
commitdiff
2021-09-03
Gereon Kremer
Check that alternate is only set for bool (#7125)
tree
|
commitdiff
2021-09-03
Gereon Kremer
Refactor options::get() and options::getNames() (#7135)
tree
|
commitdiff
2021-09-03
Gereon Kremer
Remove "experimental" options (#7124)
tree
|
commitdiff
2021-09-02
Gereon Kremer
Refactor options handlers (#7080)
tree
|
commitdiff
2021-09-02
Gereon Kremer
Add API check whether option in getOptionInfo() exists...
tree
|
commitdiff
2021-09-02
Gereon Kremer
Driver & Options cleanup (#7109)
tree
|
commitdiff
2021-09-02
Gereon Kremer
Remove options::getAll() (#7111)
tree
|
commitdiff
2021-09-02
Andrew Reynolds
Implement lazy proof checking modes (#7106)
tree
|
commitdiff
2021-09-01
Gereon Kremer
No longer use direct access to options in driver (...
tree
|
commitdiff
2021-08-31
Gereon Kremer
Make sure modes are sorted in ModeInfo (#7097)
tree
|
commitdiff
2021-08-30
Gereon Kremer
Add API function to obtain information about a single...
tree
|
commitdiff
2021-08-30
Gereon Kremer
Refactor filename handling (#7088)
tree
|
commitdiff
2021-08-27
Gereon Kremer
Handle languages as strings in driver (#7074)
tree
|
commitdiff
2021-08-26
Gereon Kremer
Consolidate language types (#7065)
tree
|
commitdiff
2021-08-23
Gereon Kremer
Move options parsing code to main (#7054)
tree
|
commitdiff
2021-08-22
Andrew Reynolds
Simplify model printing modes (#7049)
tree
|
commitdiff
2021-08-20
Gereon Kremer
Add CVC5ApiOptionException (#6992)
tree
|
commitdiff
2021-08-19
Andres Noetzli
Remove `--(no-)interactive-prompt` (#7022)
tree
|
commitdiff
2021-08-19
Andrew Reynolds
Refactor proof output for TPTP (#7029)
tree
|
commitdiff
2021-08-18
Andres Noetzli
Minor fixes of policy for eliminating quantifiers ...
tree
|
commitdiff
2021-08-17
Andrew Reynolds
Fix policy for eliminating quantified formulas (#7017)
tree
|
commitdiff
2021-08-10
Gereon Kremer
Simplify generation of option module code. (#6995)
tree
|
commitdiff
2021-08-06
Gereon Kremer
Merge options cmake into general cmake file (#6989)
tree
|
commitdiff
2021-08-06
Gereon Kremer
Clear options manager (#6991)
tree
|
commitdiff
2021-08-04
Andrew Reynolds
Add optional debug information for dumping instantiatio...
tree
|
commitdiff
2021-08-04
Gereon Kremer
Refactor managed streams (#6934)
tree
|
commitdiff
2021-08-04
Gereon Kremer
Add API function to get list of option names (#6971)
tree
|
commitdiff
2021-08-04
Gereon Kremer
Replace numeric predicates by explicit minimum and...
tree
|
commitdiff
2021-08-03
Gereon Kremer
Use int64_t, uint64_t or double for all numeric options...
tree
|
commitdiff
2021-07-29
Andrew Reynolds
Integrate central equality engine approach into theory...
tree
|
commitdiff
2021-07-26
Gereon Kremer
Move public options functions to separate file (#6671)
tree
|
commitdiff
2021-07-26
Andrew Reynolds
More updates to arithmetic in preparation for central...
tree
|
commitdiff
2021-07-23
Aina Niemetz
FP: Add option to word-blast more lazily. (#6904)
tree
|
commitdiff
2021-07-22
Andres Noetzli
Add support for minimal unsat cores (#4605)
tree
|
commitdiff
2021-07-15
Andrew Reynolds
Connect the equality solver to theory arith (#6894)
tree
|
commitdiff
2021-07-15
Mathias Preiner
bv: Rename lazy solver to layered solver. (#6889)
tree
|
commitdiff
2021-07-15
Mathias Preiner
bv: Rename simple solver to bitblast-internal. (#6888)
tree
|
commitdiff
2021-07-09
Andrew Reynolds
Implement stop-only for new justification heuristic...
tree
|
commitdiff
2021-07-08
Andrew Reynolds
Disable ordering heuristic for justification by default...
tree
|
commitdiff
2021-07-07
Andrew Reynolds
Standard output for trigger selection (#6841)
tree
|
commitdiff
2021-07-06
Gereon Kremer
Integrate Lazard into CAD module (#6812)
tree
|
commitdiff
2021-07-06
Andrew Reynolds
Integrate learned rewrite preprocessing pass (#6840)
tree
|
commitdiff
2021-07-03
Mathias Preiner
Add output tags -o, --output. (#6826)
tree
|
commitdiff
2021-07-01
Andrew Reynolds
Add recursive function definitions to subsolver in...
tree
|
commitdiff
2021-07-01
Andrew Reynolds
Add option to limit the number of instantiation rounds...
tree
|
commitdiff
2021-06-23
Andres Noetzli
Remove `--tear-down-incremental` (#6745)
tree
|
commitdiff
2021-06-21
Mathias Preiner
Make CaDiCaL a required dependency. (#6761)
tree
|
commitdiff
2021-06-16
Aina Niemetz
Make symfpu a required dependency. (#6749)
tree
|
commitdiff
2021-06-16
Gereon Kremer
Properly consider aliases in option handlers (#6683)
tree
|
commitdiff
2021-06-15
Gereon Kremer
Remove public option wrappers (#6716)
tree
|
commitdiff
2021-06-11
Andrew Reynolds
Remove support for lazy BV extended function reductions...
tree
|
commitdiff
2021-06-08
Gereon Kremer
Fix statistics option handler (#6703)
tree
|
commitdiff
2021-06-08
Gereon Kremer
Remove `binary_name` option (#6693)
tree
|
commitdiff
2021-06-07
Gereon Kremer
Remove `Options::wasSetByUser()` (#6682)
tree
|
commitdiff
2021-06-06
Gereon Kremer
Support public option modules (#6691)
tree
|
commitdiff
2021-06-04
Mathias Preiner
bv: Enable bitblast solver by default. (#6660)
tree
|
commitdiff
2021-06-04
Gereon Kremer
Some cleanup in `mkoptions.py` (#6667)
tree
|
commitdiff
2021-06-02
Andres Noetzli
Remove option to ignore negative memberships (#6665)
tree
|
commitdiff
2021-06-02
Gereon Kremer
Remove `Options::operator[]` (#6649)
tree
|
commitdiff
2021-06-02
Gereon Kremer
Move public wrapper functions out of options class...
tree
|
commitdiff
2021-06-02
Gereon Kremer
Make `Options::assign()` specializations free functions...
tree
|
commitdiff
2021-05-31
Gereon Kremer
Remove Options::ref() (#6647)
tree
|
commitdiff
2021-05-29
Gereon Kremer
Remove `Options::set()` method (#6556)
tree
|
commitdiff
2021-05-28
Gereon Kremer
Add non-templated method to set option defaults (#6540)
tree
|
commitdiff
2021-05-27
Andrew Reynolds
Enable new justification heuristic by default (#6613)
tree
|
commitdiff
2021-05-26
Gereon Kremer
Use references instead of getter functions (#6597)
tree
|
commitdiff
2021-05-24
Andrew Reynolds
Implementation of the new justification heuristic ...
tree
|
commitdiff
2021-05-21
Andrew Reynolds
Update to sygus standard output for check-synth respons...
tree
|
commitdiff
2021-05-21
Gereon Kremer
Move option names out of struct (#6554)
tree
|
commitdiff
2021-05-20
Haniel Barbosa
Remove old unsat cores (#6581)
tree
|
commitdiff
2021-05-19
Andres Noetzli
Make output list of `mkoptions.py` more accurate (...
tree
|
commitdiff
2021-05-19
Haniel Barbosa
Change the default unsat cores (#6571)
tree
|
commitdiff
next