summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
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
2021-07-06Integrate Lazard into CAD module (#6812)Gereon Kremer
2021-07-06Integrate learned rewrite preprocessing pass (#6840)Andrew Reynolds
2021-07-03Add output tags -o, --output. (#6826)Mathias Preiner
2021-07-01Add recursive function definitions to subsolver in sygus (#6824)Andrew Reynolds
2021-07-01Add option to limit the number of instantiation rounds (#6818)Andrew Reynolds
2021-06-23Remove `--tear-down-incremental` (#6745)Andres Noetzli
2021-06-21Make CaDiCaL a required dependency. (#6761)Mathias Preiner
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-06-16Properly consider aliases in option handlers (#6683)Gereon Kremer
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback