projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminating static calls to rewriter in quantifiers (#7301)
[cvc5.git] / src / options /
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
2021-08-30 Gereon KremerAdd API function to obtain information about a single... tree | commitdiff
2021-08-30 Gereon KremerRefactor filename handling (#7088) tree | commitdiff
2021-08-27 Gereon KremerHandle languages as strings in driver (#7074) tree | commitdiff
2021-08-26 Gereon KremerConsolidate language types (#7065) tree | commitdiff
2021-08-23 Gereon KremerMove options parsing code to main (#7054) tree | commitdiff
2021-08-22 Andrew ReynoldsSimplify model printing modes (#7049) tree | commitdiff
2021-08-20 Gereon KremerAdd CVC5ApiOptionException (#6992) tree | commitdiff
2021-08-19 Andres NoetzliRemove `--(no-)interactive-prompt` (#7022) tree | commitdiff
2021-08-19 Andrew ReynoldsRefactor proof output for TPTP (#7029) tree | commitdiff
2021-08-18 Andres NoetzliMinor fixes of policy for eliminating quantifiers ... tree | commitdiff
2021-08-17 Andrew ReynoldsFix policy for eliminating quantified formulas (#7017) tree | commitdiff
2021-08-10 Gereon KremerSimplify generation of option module code. (#6995) tree | commitdiff
2021-08-06 Gereon KremerMerge options cmake into general cmake file (#6989) tree | commitdiff
2021-08-06 Gereon KremerClear options manager (#6991) tree | commitdiff
2021-08-04 Andrew ReynoldsAdd optional debug information for dumping instantiatio... tree | commitdiff
2021-08-04 Gereon KremerRefactor managed streams (#6934) tree | commitdiff
2021-08-04 Gereon KremerAdd API function to get list of option names (#6971) tree | commitdiff
2021-08-04 Gereon KremerReplace numeric predicates by explicit minimum and... tree | commitdiff
2021-08-03 Gereon KremerUse int64_t, uint64_t or double for all numeric options... tree | commitdiff
2021-07-29 Andrew ReynoldsIntegrate central equality engine approach into theory... tree | commitdiff
2021-07-26 Gereon KremerMove public options functions to separate file (#6671) tree | commitdiff
2021-07-26 Andrew ReynoldsMore updates to arithmetic in preparation for central... tree | commitdiff
2021-07-23 Aina NiemetzFP: Add option to word-blast more lazily. (#6904) tree | commitdiff
2021-07-22 Andres NoetzliAdd support for minimal unsat cores (#4605) tree | commitdiff
2021-07-15 Andrew ReynoldsConnect the equality solver to theory arith (#6894) tree | commitdiff
2021-07-15 Mathias Preinerbv: Rename lazy solver to layered solver. (#6889) tree | commitdiff
2021-07-15 Mathias Preinerbv: Rename simple solver to bitblast-internal. (#6888) tree | commitdiff
2021-07-09 Andrew ReynoldsImplement stop-only for new justification heuristic... tree | commitdiff
2021-07-08 Andrew ReynoldsDisable ordering heuristic for justification by default... tree | commitdiff
2021-07-07 Andrew ReynoldsStandard output for trigger selection (#6841) tree | commitdiff
2021-07-06 Gereon KremerIntegrate Lazard into CAD module (#6812) tree | commitdiff
2021-07-06 Andrew ReynoldsIntegrate learned rewrite preprocessing pass (#6840) tree | commitdiff
2021-07-03 Mathias PreinerAdd output tags -o, --output. (#6826) tree | commitdiff
2021-07-01 Andrew ReynoldsAdd recursive function definitions to subsolver in... tree | commitdiff
2021-07-01 Andrew ReynoldsAdd option to limit the number of instantiation rounds... tree | commitdiff
2021-06-23 Andres NoetzliRemove `--tear-down-incremental` (#6745) tree | commitdiff
2021-06-21 Mathias PreinerMake CaDiCaL a required dependency. (#6761) tree | commitdiff
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) tree | commitdiff
2021-06-16 Gereon KremerProperly consider aliases in option handlers (#6683) tree | commitdiff
2021-06-15 Gereon KremerRemove public option wrappers (#6716) tree | commitdiff
2021-06-11 Andrew ReynoldsRemove support for lazy BV extended function reductions... tree | commitdiff
2021-06-08 Gereon KremerFix statistics option handler (#6703) tree | commitdiff
2021-06-08 Gereon KremerRemove `binary_name` option (#6693) tree | commitdiff
2021-06-07 Gereon KremerRemove `Options::wasSetByUser()` (#6682) tree | commitdiff
2021-06-06 Gereon KremerSupport public option modules (#6691) tree | commitdiff
2021-06-04 Mathias Preinerbv: Enable bitblast solver by default. (#6660) tree | commitdiff
2021-06-04 Gereon KremerSome cleanup in `mkoptions.py` (#6667) tree | commitdiff
2021-06-02 Andres NoetzliRemove option to ignore negative memberships (#6665) tree | commitdiff
2021-06-02 Gereon KremerRemove `Options::operator[]` (#6649) tree | commitdiff
2021-06-02 Gereon KremerMove public wrapper functions out of options class... tree | commitdiff
2021-06-02 Gereon KremerMake `Options::assign()` specializations free functions... tree | commitdiff
2021-05-31 Gereon KremerRemove Options::ref() (#6647) tree | commitdiff
2021-05-29 Gereon KremerRemove `Options::set()` method (#6556) tree | commitdiff
2021-05-28 Gereon KremerAdd non-templated method to set option defaults (#6540) tree | commitdiff
2021-05-27 Andrew ReynoldsEnable new justification heuristic by default (#6613) tree | commitdiff
2021-05-26 Gereon KremerUse references instead of getter functions (#6597) tree | commitdiff
2021-05-24 Andrew ReynoldsImplementation of the new justification heuristic ... tree | commitdiff
2021-05-21 Andrew ReynoldsUpdate to sygus standard output for check-synth respons... tree | commitdiff
2021-05-21 Gereon KremerMove option names out of struct (#6554) tree | commitdiff
2021-05-20 Haniel BarbosaRemove old unsat cores (#6581) tree | commitdiff
next