summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2021-10-11Restore compatibility with cmake 3.9 (#7329)Gereon Kremer
2021-10-07Add new versioning scheme (#7253)Gereon Kremer
2021-10-07Fix/Improve static and shared builds with CLN or Poly (#7306)Gereon Kremer
2021-10-06Change semantics of dumpUnsatCoresFull (#7314)Gereon Kremer
2021-10-06Enable static builds in CI (#7281)Gereon Kremer
2021-10-01Clean options handlers (#7201)Gereon Kremer
2021-09-30Rename SmtEngine to SolverEngine. (#7282)Aina Niemetz
2021-09-30Rename files smt_engine.(cpp|h) to solver_engine.(cpp|h). (#7279)Aina Niemetz
2021-09-30Refactor our static builds (#7251)Gereon Kremer
2021-09-28Update `--lang=help` (#7260)Andres Noetzli
2021-09-22Remove CVC language support (#7219)Mathias Preiner
2021-09-17Use a single `NodeManager` per thread (#7204)Andres Noetzli
2021-09-14Add get-difficulty to the API (#7194)Andrew Reynolds
2021-09-14Make `-o raw-benchmark` work with `--parse-only` (#7195)Andres Noetzli
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-13Refactor options parsing (#7143)Gereon Kremer
2021-09-10Refactor command-line help (#7157)Gereon Kremer
2021-09-02[Unit Tests] Fix shell test for Editline (#7117)Andres Noetzli
2021-09-02Driver & Options cleanup (#7109)Gereon Kremer
2021-09-01Print response to get-model using the API (#7084)Andrew Reynolds
2021-09-01Make driver::totalTime a TimerStat (#7089)Gereon Kremer
2021-09-01No longer use direct access to options in driver (#7094)Gereon Kremer
2021-08-30Refactor filename handling (#7088)Gereon Kremer
2021-08-27Add Driver options (#7078)Gereon Kremer
2021-08-27Handle languages as strings in driver (#7074)Gereon Kremer
2021-08-26Dump models for isNotEntailed results (#7071)Andrew Reynolds
2021-08-26Consolidate language types (#7065)Gereon Kremer
2021-08-23Move options parsing code to main (#7054)Gereon Kremer
2021-08-23Use options correctly in competition mode (#7053)Gereon Kremer
2021-08-20Make driver use options from the solver (#6930)Gereon Kremer
2021-08-20Add CVC5ApiOptionException (#6992)Gereon Kremer
2021-08-19Remove `--(no-)interactive-prompt` (#7022)Andres Noetzli
2021-08-04Consolidate solver resets (#6986)Gereon Kremer
2021-08-04Add optional debug information for dumping instantiations (#6950)Andrew Reynolds
2021-08-03Properly honor --stats-all and --stats-expert when printing statistics (#6967)Gereon Kremer
2021-07-31Perform statistics printing via the API (#6952)Gereon Kremer
2021-07-28Only use libedit on tty inputs (#6946)Gereon Kremer
2021-07-26Move public options functions to separate file (#6671)Gereon Kremer
2021-07-14Clean up option usage in command executor (#6844)Gereon Kremer
2021-06-23Remove `--tear-down-incremental` (#6745)Andres Noetzli
2021-06-15Remove public option wrappers (#6716)Gereon Kremer
2021-06-09Push complex check inside GetInstantiationsCommand (#6715)Gereon Kremer
2021-06-08Remove `binary_name` option (#6693)Gereon Kremer
2021-06-06Support public option modules (#6691)Gereon Kremer
2021-06-04Add missing dereference (#6684)Gereon Kremer
2021-06-02Use proper variable name (#6670)Gereon Kremer
2021-06-02Move public wrapper functions out of options class (#6600)Gereon Kremer
2021-05-14Decouple parser creation from input selection (#6533)Andres Noetzli
2021-05-13Always parse streams with line buffer (#6532)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback