projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix unsoundness in IAND solver (#8053)
[cvc5.git]
/
src
/
options
/
2022-02-02
Gereon Kremer
Use proper filename in -o subs documentation (#8030)
tree
|
commitdiff
2022-02-01
Andrew Reynolds
Add variant of get-difficulty for full effort lemmas...
tree
|
commitdiff
2022-01-25
Andrew Reynolds
Add output -o post-asserts (#7987)
tree
|
commitdiff
2022-01-17
Andrew Reynolds
Refactor options related to rewriting and symmetry...
tree
|
commitdiff
2022-01-14
Andrew Reynolds
Improve names for sygus enumeration option (#7945)
tree
|
commitdiff
2022-01-14
Andrew Reynolds
Clean enumerative instantiation options (#7947)
tree
|
commitdiff
2022-01-14
Andrew Reynolds
Implement -o subs to show learned top-level substitutio...
tree
|
commitdiff
2022-01-12
Andrew Reynolds
Add -o learned-lits to output learned literals (#7934)
tree
|
commitdiff
2022-01-11
Andrew Reynolds
Guard use of unsat core mode pp-only (#7899)
tree
|
commitdiff
2022-01-10
Matthew Sotoudeh
Avoid gcc/10.1.0 bug by moving some configuration into...
tree
|
commitdiff
2022-01-04
Andrew Reynolds
Change default granularity of proofs to macro (#7855)
tree
|
commitdiff
2021-12-16
yoni206
bv-to-int: use pow2 operator (#7812)
tree
|
commitdiff
2021-12-14
Abdalrhman Mohamed
Add a random Sygus enumerator. (#7782)
tree
|
commitdiff
2021-12-14
Gereon Kremer
Make some undocumented options regular/expert (#7805)
tree
|
commitdiff
2021-12-14
Andres Noetzli
Add switches to toggle eager and inclusion solvers...
tree
|
commitdiff
2021-12-13
Gereon Kremer
Improve nonlinear solver (#7787)
tree
|
commitdiff
2021-12-10
Ying Sheng
Array-inspired Sequence Solver - Adding the ArrayCoreSo...
tree
|
commitdiff
2021-12-10
Gereon Kremer
Allow for wildcards in `-t` (#7791)
tree
|
commitdiff
2021-12-10
Haniel Barbosa
[proofs] Add option to prune inputs from final proof...
tree
|
commitdiff
2021-12-07
Andrew Reynolds
Add proof annotation option (#7750)
tree
|
commitdiff
2021-12-07
makaimann
Add bitwise option to IntBlaster (#7721)
tree
|
commitdiff
2021-12-06
Gereon Kremer
Use unique_ptr instead of raw pointers (#7749)
tree
|
commitdiff
2021-12-02
Gereon Kremer
Remove void as possible option type (#7731)
tree
|
commitdiff
2021-12-02
Gereon Kremer
Add unit tests for api::Solver::setOption() (#7708)
tree
|
commitdiff
2021-12-01
Lachnitt
[proofs] Alethe: Add finalize function to insert missin...
tree
|
commitdiff
2021-11-30
Andrew Reynolds
Generalize eager length bound conflicts for regular...
tree
|
commitdiff
2021-11-30
Gereon Kremer
Remove now unused dumping infrastructure (#7703)
tree
|
commitdiff
2021-11-23
Andrew Reynolds
Enable model-based reduction technique for strings...
tree
|
commitdiff
2021-11-22
Gereon Kremer
Refactor IO stream manipulators (#7555)
tree
|
commitdiff
2021-11-18
Gereon Kremer
Refactor CAD option for linear model seed (#7657)
tree
|
commitdiff
2021-11-17
Andrew Reynolds
Revert change and clean datatypes cons candidate genera...
tree
|
commitdiff
2021-11-17
Gereon Kremer
Implement aggressive pruning in CAD solver (#7650)
tree
|
commitdiff
2021-11-17
Gereon Kremer
make default and modes strings instead of enum values...
tree
|
commitdiff
2021-11-09
Gereon Kremer
Remove `CVC5Message` (#7610)
tree
|
commitdiff
2021-11-08
Gereon Kremer
Improve rendering of expert options. (#7589)
tree
|
commitdiff
2021-11-08
Andrew Reynolds
Add lambda lift utility (#7601)
tree
|
commitdiff
2021-11-06
Gereon Kremer
Remove `Notice()` in favor of new `verbose()` (#7588)
tree
|
commitdiff
2021-11-05
Gereon Kremer
Remove `Chat()` in favor of new `verbose()` (#7586)
tree
|
commitdiff
2021-11-04
Andrew Reynolds
Add -o sygus-grammar to print auto-generated SyGuS...
tree
|
commitdiff
2021-11-04
Andrew Reynolds
Improve defaults for sygus default grammars (#7553)
tree
|
commitdiff
2021-11-04
Andrew Reynolds
Replace the old dump infrastructure (#7572)
tree
|
commitdiff
2021-11-04
Gereon Kremer
Start refactoring of `-o` and `-v` (#7449)
tree
|
commitdiff
2021-11-01
Gereon Kremer
Add explicit option enum value __MAX_VALUE (#7547)
tree
|
commitdiff
2021-11-01
Mathias Preiner
bv: Remove layered solver. (#7455)
tree
|
commitdiff
2021-11-01
Gereon Kremer
Refactor DidYouMean (#7535)
tree
|
commitdiff
2021-10-29
Gereon Kremer
Remove options::X__numValues (#7419)
tree
|
commitdiff
2021-10-27
Gereon Kremer
Add documentation on output tags (#7499)
tree
|
commitdiff
2021-10-27
Gereon Kremer
Make --version exit (#7506)
tree
|
commitdiff
2021-10-26
Gereon Kremer
Fix frequent rebuild of options target (#7450)
tree
|
commitdiff
2021-10-25
Andrew Reynolds
Add new method for enumerating unsat queries with SyGuS...
tree
|
commitdiff
2021-10-22
Gereon Kremer
Remove options::X__name (#7414)
tree
|
commitdiff
2021-10-22
Andrew Reynolds
Remove `--uf-ho` option (#7463)
tree
|
commitdiff
2021-10-21
Gereon Kremer
Working on windows builds (#7381)
tree
|
commitdiff
2021-10-21
Gereon Kremer
Fix (#7437)
tree
|
commitdiff
2021-10-19
Gereon Kremer
Remove setDefaults methods (#7413)
tree
|
commitdiff
2021-10-14
Gereon Kremer
Improve ManagedStreams (#7367)
tree
|
commitdiff
2021-10-11
Andrew Reynolds
Connect the LFSC printer (#7323)
tree
|
commitdiff
2021-10-07
Gereon Kremer
Add new versioning scheme (#7253)
tree
|
commitdiff
2021-10-07
Andrew Reynolds
Make the cardinality of the alphabet of strings configu...
tree
|
commitdiff
2021-10-06
Gereon Kremer
Change semantics of dumpUnsatCoresFull (#7314)
tree
|
commitdiff
2021-10-05
Gereon Kremer
Finish refactoring on option handlers (#7295)
tree
|
commitdiff
2021-10-01
Gereon Kremer
Clean options handlers (#7201)
tree
|
commitdiff
2021-09-30
Mathias Preiner
bv: Refactor ppRewrite and move to TheoryBV. (#7271)
tree
|
commitdiff
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
next