summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
2021-10-19Remove setDefaults methods (#7413)Gereon Kremer
2021-10-14Improve ManagedStreams (#7367)Gereon Kremer
2021-10-11Connect the LFSC printer (#7323)Andrew Reynolds
2021-10-07Add new versioning scheme (#7253)Gereon Kremer
2021-10-07Make the cardinality of the alphabet of strings configurable (#7298)Andrew Reynolds
2021-10-06Change semantics of dumpUnsatCoresFull (#7314)Gereon Kremer
2021-10-05Finish refactoring on option handlers (#7295)Gereon Kremer
2021-10-01Clean options handlers (#7201)Gereon Kremer
2021-09-30bv: Refactor ppRewrite and move to TheoryBV. (#7271)Mathias Preiner
2021-09-23Eliminate Output macro in favor of simple Env functions (#7223)Gereon Kremer
2021-09-23[proofs] Alethe: Add Alethe Files to be Compiled (#7241)Lachnitt
2021-09-22Remove CVC language support (#7219)Mathias Preiner
2021-09-22Add extensionality option for strings disequalities (#7229)Andrew Reynolds
2021-09-20Add anchors to cmdline options (#7210)Gereon Kremer
2021-09-18Refactor tag suggestion mechanism (#7199)Gereon Kremer
2021-09-15remove options that are no longer used (#7197)Gereon Kremer
2021-09-14Add get-difficulty to the API (#7194)Andrew Reynolds
2021-09-14Final cleanup (#7193)Gereon Kremer
2021-09-14Refactor code generation for option modules (#7182)Gereon Kremer
2021-09-14Turn sphinx generation into a function (#7181)Gereon Kremer
2021-09-14Reimplement `--dump=raw-benchmark` as `-o raw-benchmark` (#7191)Andrew Reynolds
2021-09-13Connect difficulty manager to TheoryEngine (#7161)Andrew Reynolds
2021-09-13Add Solver::isOutputOn() (#7187)Gereon Kremer
2021-09-13Refactor generation code for getInfo() (#7176)Gereon Kremer
2021-09-13Add main options to cmake (#7178)Gereon Kremer
2021-09-13Reorder code (#7175)Gereon Kremer
2021-09-13Refactor options parsing (#7143)Gereon Kremer
2021-09-10Refactor command-line help (#7157)Gereon Kremer
2021-09-09Add Solver::getOutput() (#7162)Gereon Kremer
2021-09-09Add difficulty manager (#7151)Andrew Reynolds
2021-09-08Refactor options::set() (#7138)Gereon Kremer
2021-09-08Work on comments (#7139)Gereon Kremer
2021-09-08A couple of minor cleanups (#7141)Gereon Kremer
2021-09-08Refactor code generation for options.h/.cpp (#7126)Gereon Kremer
2021-09-08Add option for using bound inference for relevant assertions (#7152)Andrew Reynolds
2021-09-07Refactoring of proof manager initialization (#7073)Andrew Reynolds
2021-09-03Refactor option sanitizations (#7129)Gereon Kremer
2021-09-03Check that alternate is only set for bool (#7125)Gereon Kremer
2021-09-03Refactor options::get() and options::getNames() (#7135)Gereon Kremer
2021-09-03Remove "experimental" options (#7124)Gereon Kremer
2021-09-02Refactor options handlers (#7080)Gereon Kremer
2021-09-02Add API check whether option in getOptionInfo() exists (#7093)Gereon Kremer
2021-09-02Driver & Options cleanup (#7109)Gereon Kremer
2021-09-02Remove options::getAll() (#7111)Gereon Kremer
2021-09-02Implement lazy proof checking modes (#7106)Andrew Reynolds
2021-09-01No longer use direct access to options in driver (#7094)Gereon Kremer
2021-08-31Make sure modes are sorted in ModeInfo (#7097)Gereon Kremer
2021-08-30Add API function to obtain information about a single option (#6980)Gereon Kremer
2021-08-30Refactor filename handling (#7088)Gereon Kremer
2021-08-27Handle languages as strings in driver (#7074)Gereon Kremer
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback