summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
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
2021-08-04Add API function to get list of option names (#6971)Gereon Kremer
2021-08-04Replace numeric predicates by explicit minimum and maximum (#6976)Gereon Kremer
2021-08-03Use int64_t, uint64_t or double for all numeric options. (#6970)Gereon Kremer
2021-07-29Integrate central equality engine approach into theory engine, add option and...Andrew Reynolds
2021-07-26Move public options functions to separate file (#6671)Gereon Kremer
2021-07-26More updates to arithmetic in preparation for central equality engine (#6927)Andrew Reynolds
2021-07-23FP: Add option to word-blast more lazily. (#6904)Aina Niemetz
2021-07-22Add support for minimal unsat cores (#4605)Andres Noetzli
2021-07-15Connect the equality solver to theory arith (#6894)Andrew Reynolds
2021-07-15bv: Rename lazy solver to layered solver. (#6889)Mathias Preiner
2021-07-14bv: Rename simple solver to bitblast-internal. (#6888)Mathias Preiner
2021-07-09Implement stop-only for new justification heuristic (#6847)Andrew Reynolds
2021-07-08Disable ordering heuristic for justification by default (#6848)Andrew Reynolds
2021-07-07Standard output for trigger selection (#6841)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback