summaryrefslogtreecommitdiff
path: root/test/api/ouroborous.cpp
AgeCommit message (Expand)Author
2021-05-14Decouple parser creation from input selection (#6533)Andres Noetzli
2021-04-20Remove support for CVC3 language. (#6369)Aina Niemetz
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-05New C++ Api: Rename and move headers. (#6292)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-11Delete Expr layer. (#6117)Aina Niemetz
2021-03-10Use Assert instead of assert. (#6095)Mathias Preiner
2021-03-08Refactor ouroborous API test to not use Expr. (#6079)Aina Niemetz
2020-12-02Update copyright headers.Aina Niemetz
2020-11-11Move symbol manager to src/expr/ (#5420)Andrew Reynolds
2020-11-09Add symbol manager (#5380)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-14Rename system tests to api tests and remove obsolete Java test. (#5066)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback