summaryrefslogtreecommitdiff
path: root/src/theory/model_manager.cpp
AgeCommit message (Expand)Author
2021-08-18move collectAssertedTerms back to the theory class (#7018)Gereon Kremer
2021-07-12Improvements to debug check model (#6861)Andrew Reynolds
2021-05-10Unify top-level substitutions and model substitutions (#6499)Andrew Reynolds
2021-05-05Do not have quantifiers model inherit from theory model (#6493)Andrew Reynolds
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-20Improved tracing for equivalence classes of EE (#6169)Andrew Reynolds
2021-03-09Some more cleanup of includes (#6083)Gereon Kremer
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-02Clean up includes to reduce compile times (#6031)Gereon Kremer
2021-02-23Add interface to TheoryState for sort inference and facts (#5967)Andrew Reynolds
2021-02-02Cleanup some includes (#5847)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-20More flexible design for model manager distributed (#4976)Andrew Reynolds
2020-08-26Add irrelevant kinds infrastructure to TheoryModel (#4945)Andrew Reynolds
2020-08-24Add the distributed model manager (#4934)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback