projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove options::X__name (#7414)
[cvc5.git] / src / options / options_handler.cpp
2021-10-22 Gereon KremerRemove options::X__name (#7414) blob | commitdiff | raw
2021-10-19 Gereon KremerRemove setDefaults methods (#7413) blob | commitdiff | raw | diff to current
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) blob | commitdiff | raw | diff to current
2021-10-05 Gereon KremerFinish refactoring on option handlers (#7295) blob | commitdiff | raw | diff to current
2021-10-01 Gereon KremerClean options handlers (#7201) blob | commitdiff | raw | diff to current
2021-09-18 Gereon KremerRefactor tag suggestion mechanism (#7199) blob | commitdiff | raw | diff to current
2021-08-27 Gereon KremerHandle languages as strings in driver (#7074) blob | commitdiff | raw | diff to current
2021-08-26 Gereon KremerConsolidate language types (#7065) blob | commitdiff | raw | diff to current
2021-08-19 Andrew ReynoldsRefactor proof output for TPTP (#7029) blob | commitdiff | raw | diff to current
2021-08-06 Gereon KremerClear options manager (#6991) blob | commitdiff | raw | diff to current
2021-08-04 Gereon KremerRefactor managed streams (#6934) blob | commitdiff | raw | diff to current
2021-07-26 Gereon KremerMove public options functions to separate file (#6671) blob | commitdiff | raw | diff to current
2021-07-09 Andrew ReynoldsImplement stop-only for new justification heuristic... blob | commitdiff | raw | diff to current
2021-07-03 Mathias PreinerAdd output tags -o, --output. (#6826) blob | commitdiff | raw | diff to current
2021-06-21 Mathias PreinerMake CaDiCaL a required dependency. (#6761) blob | commitdiff | raw | diff to current
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) blob | commitdiff | raw | diff to current
2021-06-16 Gereon KremerProperly consider aliases in option handlers (#6683) blob | commitdiff | raw | diff to current
2021-06-15 Gereon KremerRemove public option wrappers (#6716) blob | commitdiff | raw | diff to current
2021-06-08 Gereon KremerFix statistics option handler (#6703) blob | commitdiff | raw | diff to current
2021-06-07 Gereon KremerRemove `Options::wasSetByUser()` (#6682) blob | commitdiff | raw | diff to current
2021-05-29 Gereon KremerRemove `Options::set()` method (#6556) blob | commitdiff | raw | diff to current
2021-05-28 Gereon KremerAdd non-templated method to set option defaults (#6540) blob | commitdiff | raw | diff to current
2021-05-26 Gereon KremerUse references instead of getter functions (#6597) blob | commitdiff | raw | diff to current
2021-05-21 Gereon KremerMove option names out of struct (#6554) blob | commitdiff | raw | diff to current
2021-05-13 Gereon KremerSplit options holder class (#6527) blob | commitdiff | raw | diff to current
2021-04-26 Gereon KremerFirst part of options refactoring (#6428) blob | commitdiff | raw | diff to current
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw | diff to current
2021-04-16 Gereon KremerFix dependencies for stats options (#6378) blob | commitdiff | raw | diff to current
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) blob | commitdiff | raw | diff to current
2021-04-15 Gereon KremerFix printing of stats when aborted. (#6362) blob | commitdiff | raw | diff to current
2021-04-12 Gereon KremerRefactor resource manager (#6322) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-02-03 Mathias PreinerAdd BV solver bitblast. (#5851) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-08-21 Andrew ReynoldsRemove BV equality slicer (#4928) blob | commitdiff | raw | diff to current
2020-08-14 E Polgreencorrectly parse sygus lang option (#4884) blob | commitdiff | raw | diff to current
2020-07-17 Andrew ReynoldsReplace options listener infrastructure (#4764) blob | commitdiff | raw | diff to current
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... blob | commitdiff | raw | diff to current
2020-07-17 Gereon KremerIntegration of libpoly (#4679) blob | commitdiff | raw | diff to current
2020-07-07 Andrew ReynoldsTransfer ownership of internal Options from NodeManager... blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514) blob | commitdiff | raw | diff to current
2020-04-15 Andrew ReynoldsChange option names --default-dag-thresh and --default... blob | commitdiff | raw | diff to current
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) blob | commitdiff | raw | diff to current
2020-02-21 Andrew V. JonesAdding checks to the validation of 'bv-sat-solver'... blob | commitdiff | raw | diff to current
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) blob | commitdiff | raw | diff to current
2019-12-05 Andrew ReynoldsRefactor mode options for Unif+PI (#3531) blob | commitdiff | raw | diff to current
2019-12-04 Andrew ReynoldsNew grammar construction modes for SyGuS (#3486) blob | commitdiff | raw | diff to current
2019-11-17 Andres NoetzliAdd support for ThreadSanitizer instrumentation (#3467) blob | commitdiff | raw | diff to current
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... blob | commitdiff | raw | diff to current
2019-10-11 Andres NoetzliAdd support for UBSan instrumentation (#3382) blob | commitdiff | raw | diff to current
2019-09-12 Andrew Reynolds Rename UF with cardinality extension (#3241) blob | commitdiff | raw | diff to current
2019-08-10 Andrew ReynoldsAdd option to only dump unsolved queries for --sygus... blob | commitdiff | raw | diff to current
2019-08-02 Mathias PreinerUpdate CaDiCaL to version 1.0.3. (#3137) blob | commitdiff | raw | diff to current
2019-08-01 Andrew Reynolds Regular expression intersection modes (#3134) blob | commitdiff | raw | diff to current
2019-07-29 Andrew ReynoldsModel blocker feature (#3112) blob | commitdiff | raw | diff to current
2019-07-23 Andrew ReynoldsFix help messages (#3096) blob | commitdiff | raw | diff to current
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062) blob | commitdiff | raw | diff to current
2019-05-18 Andres NoetzliSupport for incremental bit-blasting with CaDiCaL ... blob | commitdiff | raw | diff to current
2019-05-15 Aina Niemetz BV: Do not enable abstraction when eager bit-blasting... blob | commitdiff | raw | diff to current
2019-04-23 Alex Ozdemir[BV] An option for SAT proof optimization (#2915) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2019-03-16 Alex OzdemirEnable CryptoMiniSat-backed BV proofs (#2847) blob | commitdiff | raw | diff to current
2019-01-15 Andres NoetzliStrings: Add option to change loop process mode (#2794) blob | commitdiff | raw | diff to current
2019-01-09 Alex Ozdemir[BV Proofs] Option for proof format (#2777) blob | commitdiff | raw | diff to current
2018-12-11 Andrew ReynoldsRemove alternate versions of mbqi (#2742) blob | commitdiff | raw | diff to current
2018-12-10 makaimannBoolToBV modes (off, ite, all) (#2530) blob | commitdiff | raw | diff to current
2018-12-07 Alex OzdemirEnable BV proofs when using an eager bitblaster (#2733) blob | commitdiff | raw | diff to current
2018-11-28 Andrew ReynoldsGeneralize sygus stream solution filtering to logical... blob | commitdiff | raw | diff to current
2018-11-05 Andrew ReynoldsChange default sygus enumeration mode to auto (#2689) blob | commitdiff | raw | diff to current
2018-10-31 Andrew ReynoldsAdd optimized sygus enumeration (#2677) blob | commitdiff | raw | diff to current
2018-10-19 Andrew ReynoldsNon-implied mode for model cores (#2653) blob | commitdiff | raw | diff to current
2018-10-18 Andres NoetzliShow if ASAN build in --show-config (#2650) blob | commitdiff | raw | diff to current
2018-10-15 Andrew ReynoldsDelay initialization of theory engine (#2621) blob | commitdiff | raw | diff to current
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ... blob | commitdiff | raw | diff to current
2018-09-07 Mathias PreinerReplace boost::integer_traits with std::numeric_limits... blob | commitdiff | raw | diff to current
2018-08-02 Andres NoetzliRemove Subversion build info (#2250) blob | commitdiff | raw | diff to current
2018-08-02 Andres NoetzliRemove outdated references to TLS (#2245) blob | commitdiff | raw | diff to current
2018-07-31 Mathias PreinerFix option handler for lazy/bv-sat-solver combinations... blob | commitdiff | raw | diff to current
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838) blob | commitdiff | raw | diff to current
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... blob | commitdiff | raw | diff to current
2018-07-17 Andrew ReynoldsMinor cleanup and fixes for conflict-based instantiatio... blob | commitdiff | raw | diff to current
2018-07-17 Andrew Reynolds sygusComp2018: update policies for solution reconstruc... blob | commitdiff | raw | diff to current
2018-07-03 Andrew ReynoldsRemove miscellaneous dead and unused code from quantifi... blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-05-22 Mathias PreinerAdd SymFPU licensing information. (#1952) blob | commitdiff | raw | diff to current
2018-03-20 Mathias PreinerAdd support for CaDiCaL as eager BV SAT solver. (#1675) blob | commitdiff | raw | diff to current
2018-02-03 Andrew ReynoldsOption to use sampling for CEGIS (#1555) blob | commitdiff | raw | diff to current
2018-01-14 Tim KingRemoving throw specifiers from OptionsHandler. (#1510) blob | commitdiff | raw | diff to current
2018-01-09 Aina NiemetzFix output of --trace=help. (#1500) blob | commitdiff | raw | diff to current
2018-01-09 Tim KingRemoving more miscellaneous throw specifiers. (#1488) blob | commitdiff | raw | diff to current
2017-12-05 Mathias PreinerFix output of --show-trace-tags. (#1430) blob | commitdiff | raw | diff to current
2017-11-04 Andrew ReynoldsFix bv help message. (#1315) blob | commitdiff | raw | diff to current
2017-11-03 Andrew ReynoldsSygus clean main (#1297) blob | commitdiff | raw | diff to current
2017-10-25 Andrew ReynoldsCbqi bv ineq mode (#1273) blob | commitdiff | raw | diff to current
next