projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[BV] Fix order of rewrites for `concat` (#8010)
[cvc5.git] / src / options /
2022-02-01 Andrew ReynoldsAdd variant of get-difficulty for full effort lemmas... tree | commitdiff
2022-01-25 Andrew ReynoldsAdd output -o post-asserts (#7987) tree | commitdiff
2022-01-17 Andrew ReynoldsRefactor options related to rewriting and symmetry... tree | commitdiff
2022-01-14 Andrew ReynoldsImprove names for sygus enumeration option (#7945) tree | commitdiff
2022-01-14 Andrew ReynoldsClean enumerative instantiation options (#7947) tree | commitdiff
2022-01-14 Andrew ReynoldsImplement -o subs to show learned top-level substitutio... tree | commitdiff
2022-01-12 Andrew ReynoldsAdd -o learned-lits to output learned literals (#7934) tree | commitdiff
2022-01-11 Andrew ReynoldsGuard use of unsat core mode pp-only (#7899) tree | commitdiff
2022-01-10 Matthew SotoudehAvoid gcc/10.1.0 bug by moving some configuration into... tree | commitdiff
2022-01-04 Andrew ReynoldsChange default granularity of proofs to macro (#7855) tree | commitdiff
2021-12-16 yoni206bv-to-int: use pow2 operator (#7812) tree | commitdiff
2021-12-14 Abdalrhman MohamedAdd a random Sygus enumerator. (#7782) tree | commitdiff
2021-12-14 Gereon KremerMake some undocumented options regular/expert (#7805) tree | commitdiff
2021-12-14 Andres NoetzliAdd switches to toggle eager and inclusion solvers... tree | commitdiff
2021-12-13 Gereon KremerImprove nonlinear solver (#7787) tree | commitdiff
2021-12-10 Ying ShengArray-inspired Sequence Solver - Adding the ArrayCoreSo... tree | commitdiff
2021-12-10 Gereon KremerAllow 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 ReynoldsAdd proof annotation option (#7750) tree | commitdiff
2021-12-07 makaimannAdd bitwise option to IntBlaster (#7721) tree | commitdiff
2021-12-06 Gereon KremerUse unique_ptr instead of raw pointers (#7749) tree | commitdiff
2021-12-02 Gereon KremerRemove void as possible option type (#7731) tree | commitdiff
2021-12-02 Gereon KremerAdd 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 ReynoldsGeneralize eager length bound conflicts for regular... tree | commitdiff
2021-11-30 Gereon KremerRemove now unused dumping infrastructure (#7703) tree | commitdiff
2021-11-23 Andrew ReynoldsEnable model-based reduction technique for strings... tree | commitdiff
2021-11-22 Gereon KremerRefactor IO stream manipulators (#7555) tree | commitdiff
2021-11-18 Gereon KremerRefactor CAD option for linear model seed (#7657) tree | commitdiff
2021-11-17 Andrew ReynoldsRevert change and clean datatypes cons candidate genera... tree | commitdiff
2021-11-17 Gereon KremerImplement aggressive pruning in CAD solver (#7650) tree | commitdiff
2021-11-17 Gereon Kremermake default and modes strings instead of enum values... tree | commitdiff
2021-11-09 Gereon KremerRemove `CVC5Message` (#7610) tree | commitdiff
2021-11-08 Gereon KremerImprove rendering of expert options. (#7589) tree | commitdiff
2021-11-08 Andrew ReynoldsAdd lambda lift utility (#7601) tree | commitdiff
2021-11-06 Gereon KremerRemove `Notice()` in favor of new `verbose()` (#7588) tree | commitdiff
2021-11-05 Gereon KremerRemove `Chat()` in favor of new `verbose()` (#7586) tree | commitdiff
2021-11-04 Andrew ReynoldsAdd -o sygus-grammar to print auto-generated SyGuS... tree | commitdiff
2021-11-04 Andrew ReynoldsImprove defaults for sygus default grammars (#7553) tree | commitdiff
2021-11-04 Andrew ReynoldsReplace the old dump infrastructure (#7572) tree | commitdiff
2021-11-04 Gereon KremerStart refactoring of `-o` and `-v` (#7449) tree | commitdiff
2021-11-01 Gereon KremerAdd explicit option enum value __MAX_VALUE (#7547) tree | commitdiff
2021-11-01 Mathias Preinerbv: Remove layered solver. (#7455) tree | commitdiff
2021-11-01 Gereon KremerRefactor DidYouMean (#7535) tree | commitdiff
2021-10-29 Gereon KremerRemove options::X__numValues (#7419) tree | commitdiff
2021-10-27 Gereon KremerAdd documentation on output tags (#7499) tree | commitdiff
2021-10-27 Gereon KremerMake --version exit (#7506) tree | commitdiff
2021-10-26 Gereon KremerFix frequent rebuild of options target (#7450) tree | commitdiff
2021-10-25 Andrew ReynoldsAdd new method for enumerating unsat queries with SyGuS... tree | commitdiff
2021-10-22 Gereon KremerRemove options::X__name (#7414) tree | commitdiff
2021-10-22 Andrew ReynoldsRemove `--uf-ho` option (#7463) tree | commitdiff
2021-10-21 Gereon KremerWorking on windows builds (#7381) tree | commitdiff
2021-10-21 Gereon KremerFix (#7437) tree | commitdiff
2021-10-19 Gereon KremerRemove setDefaults methods (#7413) tree | commitdiff
2021-10-14 Gereon KremerImprove ManagedStreams (#7367) tree | commitdiff
2021-10-11 Andrew ReynoldsConnect the LFSC printer (#7323) tree | commitdiff
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) tree | commitdiff
2021-10-07 Andrew ReynoldsMake the cardinality of the alphabet of strings configu... tree | commitdiff
2021-10-06 Gereon KremerChange semantics of dumpUnsatCoresFull (#7314) tree | commitdiff
2021-10-05 Gereon KremerFinish refactoring on option handlers (#7295) tree | commitdiff
2021-10-01 Gereon KremerClean options handlers (#7201) tree | commitdiff
2021-09-30 Mathias Preinerbv: Refactor ppRewrite and move to TheoryBV. (#7271) tree | commitdiff
2021-09-23 Gereon KremerEliminate 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 PreinerRemove CVC language support (#7219) tree | commitdiff
2021-09-22 Andrew ReynoldsAdd extensionality option for strings disequalities... tree | commitdiff
2021-09-20 Gereon KremerAdd anchors to cmdline options (#7210) tree | commitdiff
2021-09-18 Gereon KremerRefactor tag suggestion mechanism (#7199) tree | commitdiff
2021-09-15 Gereon Kremerremove options that are no longer used (#7197) tree | commitdiff
2021-09-14 Andrew ReynoldsAdd get-difficulty to the API (#7194) tree | commitdiff
2021-09-14 Gereon KremerFinal cleanup (#7193) tree | commitdiff
2021-09-14 Gereon KremerRefactor code generation for option modules (#7182) tree | commitdiff
2021-09-14 Gereon KremerTurn sphinx generation into a function (#7181) tree | commitdiff
2021-09-14 Andrew ReynoldsReimplement `--dump=raw-benchmark` as `-o raw-benchmark... tree | commitdiff
2021-09-13 Andrew ReynoldsConnect difficulty manager to TheoryEngine (#7161) tree | commitdiff
2021-09-13 Gereon KremerAdd Solver::isOutputOn() (#7187) tree | commitdiff
2021-09-13 Gereon KremerRefactor generation code for getInfo() (#7176) tree | commitdiff
2021-09-13 Gereon KremerAdd main options to cmake (#7178) tree | commitdiff
2021-09-13 Gereon KremerReorder code (#7175) tree | commitdiff
2021-09-13 Gereon KremerRefactor options parsing (#7143) tree | commitdiff
2021-09-10 Gereon KremerRefactor command-line help (#7157) tree | commitdiff
2021-09-09 Gereon KremerAdd Solver::getOutput() (#7162) tree | commitdiff
2021-09-09 Andrew ReynoldsAdd difficulty manager (#7151) tree | commitdiff
2021-09-08 Gereon KremerRefactor options::set() (#7138) tree | commitdiff
2021-09-08 Gereon KremerWork on comments (#7139) tree | commitdiff
2021-09-08 Gereon KremerA couple of minor cleanups (#7141) tree | commitdiff
2021-09-08 Gereon KremerRefactor code generation for options.h/.cpp (#7126) tree | commitdiff
2021-09-08 Andrew ReynoldsAdd option for using bound inference for relevant asser... tree | commitdiff
2021-09-07 Andrew ReynoldsRefactoring of proof manager initialization (#7073) tree | commitdiff
2021-09-03 Gereon KremerRefactor option sanitizations (#7129) tree | commitdiff
2021-09-03 Gereon KremerCheck that alternate is only set for bool (#7125) tree | commitdiff
2021-09-03 Gereon KremerRefactor options::get() and options::getNames() (#7135) tree | commitdiff
2021-09-03 Gereon KremerRemove "experimental" options (#7124) tree | commitdiff
2021-09-02 Gereon KremerRefactor options handlers (#7080) tree | commitdiff
2021-09-02 Gereon KremerAdd API check whether option in getOptionInfo() exists... tree | commitdiff
2021-09-02 Gereon KremerDriver & Options cleanup (#7109) tree | commitdiff
2021-09-02 Gereon KremerRemove options::getAll() (#7111) tree | commitdiff
2021-09-02 Andrew ReynoldsImplement lazy proof checking modes (#7106) tree | commitdiff
2021-09-01 Gereon KremerNo longer use direct access to options in driver (... tree | commitdiff
2021-08-31 Gereon KremerMake sure modes are sorted in ModeInfo (#7097) tree | commitdiff
next