summaryrefslogtreecommitdiff
path: root/src/theory/smt_engine_subsolver.cpp
AgeCommit message (Expand)Author
2021-07-01Add recursive function definitions to subsolver in sygus (#6824)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-23Remove internal includes of Api header. (#6193)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-11-25Fully decouple SmtEngine and the Expr layer (#5532)Andrew Reynolds
2020-11-10Add proper support for the declare-heap command for separation logic (#5405)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-08-06Split preprocessor from SmtEngine (#4854)Andrew Reynolds
2020-07-16Remove cumulative time limits and cpu time limits (#4711)Gereon Kremer
2020-07-15Use Nodes for SmtEngine assertions (#4752)Andres Noetzli
2020-07-13Minor refactoring of subsolver initialization (#4731)Andrew Reynolds
2020-07-07Transfer ownership of internal Options from NodeManager to SmtEngine (#4682)Andrew Reynolds
2020-06-29Make ExprManager constructor private (#4669)Andres Noetzli
2020-06-16Update copyright headers.Aina Niemetz
2020-03-03Standardize the interface for SMT engine subsolvers (#3836)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback