summaryrefslogtreecommitdiff
path: root/src/smt/listeners.cpp
AgeCommit message (Expand)Author
2021-10-11Rename SmtScope to SolverEngineScope. (#7284)Aina Niemetz
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-23Use `|` to print quoted strings in `set-info` command. (#7240)Abdalrhman Mohamed
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-02Clean up includes to reduce compile times (#6031)Gereon Kremer
2021-01-11Further simplifications in preparation for removing Expr layer (#5756)Andrew Reynolds
2020-11-30Remove includes for old API from internal code (#5536)Andrew Reynolds
2020-10-20Fix miscellaneous warnings (#5256)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-16Dump commands in internal code using command printing functions. (#5040)Abdalrhman Mohamed
2020-09-02Introduce an internal version of Commands. (#4988)Abdalrhman Mohamed
2020-08-25Replace Expr-level datatype with Node-level DType (#4875)Andrew Reynolds
2020-08-03Split dump manager from SmtEngine (#4824)Andrew Reynolds
2020-08-01Add methods for constructing datatype types from NodeManager (#4823)Andrew Reynolds
2020-07-31Split listener classes from SmtEngine (#4816)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback