summaryrefslogtreecommitdiff
path: root/src/main/command_executor.cpp
AgeCommit message (Expand)Author
2021-11-09Remove command-verbosity option (#7581)Gereon Kremer
2021-11-04Start refactoring of `-o` and `-v` (#7449)Gereon Kremer
2021-10-28Add a `define-fun` command for each `:named` term. (#7308)Abdalrhman Mohamed
2021-10-06Change semantics of dumpUnsatCoresFull (#7314)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-14Add get-difficulty to the API (#7194)Andrew Reynolds
2021-09-14Make `-o raw-benchmark` work with `--parse-only` (#7195)Andres Noetzli
2021-09-14Reimplement `--dump=raw-benchmark` as `-o raw-benchmark` (#7191)Andrew Reynolds
2021-09-01No longer use direct access to options in driver (#7094)Gereon Kremer
2021-08-27Add Driver options (#7078)Gereon Kremer
2021-08-26Dump models for isNotEntailed results (#7071)Andrew Reynolds
2021-08-20Make driver use options from the solver (#6930)Gereon Kremer
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-14Clean up option usage in command executor (#6844)Gereon Kremer
2021-06-15Remove public option wrappers (#6716)Gereon Kremer
2021-06-09Push complex check inside GetInstantiationsCommand (#6715)Gereon Kremer
2021-06-02Move public wrapper functions out of options class (#6600)Gereon Kremer
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-02cmake: Do not link against main object library. (#6269)Mathias Preiner
2021-04-02Minor refactoring (#6273)Gereon Kremer
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-22Move statistics from the driver into the SmtEngine (#6170)Gereon Kremer
2021-03-11First refactoring of statistics classes (#6105)Gereon Kremer
2021-03-10Use Assert instead of assert. (#6095)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-04New C++ API: Clean up usage of internal Result. (#6043)Aina Niemetz
2020-12-23Dumping unsat cores after check-sat-assuming/QUERY (#5724)Haniel Barbosa
2020-12-11Flush statistics through NodeManager in SmtEngine (#5652)Andrew Reynolds
2020-12-02Update copyright headers.Aina Niemetz
2020-11-18Fix asan issues related to solver and symbol manager (#5457)Andrew Reynolds
2020-11-11Move symbol manager to src/expr/ (#5420)Andrew Reynolds
2020-11-11Pass symbol manager to commands (#5410)Andrew Reynolds
2020-11-09Add symbol manager (#5380)Andrew Reynolds
2020-09-22Refactor Commands to use the Public API. (#5105)Abdalrhman Mohamed
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-07-15Fixes memory leak when an exception goes through runCvc4(). (Fixes #4590) (#4...Gereon Kremer
2020-06-16Update copyright headers.Aina Niemetz
2020-04-08Fix dump models and dump proofs (#4230)Andrew Reynolds
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-12New C++ API: Remove support for (reset). (#4037)Aina Niemetz
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-08-14Remove option --continued-execution. (#3189)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-08-08Plug solver API object into parser. (#2240)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback