summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
2021-10-27Add documentation on output tags (#7499)Gereon Kremer
2021-10-27Make --version exit (#7506)Gereon Kremer
2021-10-26Fix frequent rebuild of options target (#7450)Gereon Kremer
2021-10-25Add new method for enumerating unsat queries with SyGuS (#7459)Andrew Reynolds
2021-10-22Remove options::X__name (#7414)Gereon Kremer
2021-10-22Remove `--uf-ho` option (#7463)Andrew Reynolds
2021-10-21Working on windows builds (#7381)Gereon Kremer
2021-10-20Fix (#7437)Gereon Kremer
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback