summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
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
2021-08-26Consolidate language types (#7065)Gereon Kremer
2021-08-23Move options parsing code to main (#7054)Gereon Kremer
2021-08-22Simplify model printing modes (#7049)Andrew Reynolds
2021-08-20Add CVC5ApiOptionException (#6992)Gereon Kremer
2021-08-19Remove `--(no-)interactive-prompt` (#7022)Andres Noetzli
2021-08-19Refactor proof output for TPTP (#7029)Andrew Reynolds
2021-08-18Minor fixes of policy for eliminating quantifiers (#7033)Andres Noetzli
2021-08-17Fix policy for eliminating quantified formulas (#7017)Andrew Reynolds
2021-08-10Simplify generation of option module code. (#6995)Gereon Kremer
2021-08-06Merge options cmake into general cmake file (#6989)Gereon Kremer
2021-08-06Clear options manager (#6991)Gereon Kremer
2021-08-04Add optional debug information for dumping instantiations (#6950)Andrew Reynolds
2021-08-04Refactor managed streams (#6934)Gereon Kremer
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback