projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
A couple of minor cleanups (#7141)
[cvc5.git] / test / api / ouroborous.cpp
2021-08-27 Gereon KremerHandle languages as strings in driver (#7074) blob | commitdiff | raw
2021-08-26 Gereon KremerConsolidate language types (#7065) blob | commitdiff | raw | diff to current
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) blob | commitdiff | raw | diff to current
2021-04-20 Aina NiemetzRemove support for CVC3 language. (#6369) blob | commitdiff | raw | diff to current
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-11 Aina NiemetzDelete Expr layer. (#6117) blob | commitdiff | raw | diff to current
2021-03-10 Mathias PreinerUse Assert instead of assert. (#6095) blob | commitdiff | raw | diff to current
2021-03-08 Aina NiemetzRefactor ouroborous API test to not use Expr. (#6079) blob | commitdiff | raw | diff to current
2020-12-03 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-11-11 Andrew ReynoldsMove symbol manager to src/expr/ (#5420) blob | commitdiff | raw | diff to current
2020-11-09 Andrew ReynoldsAdd symbol manager (#5380) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-09-15 Aina NiemetzRename system tests to api tests and remove obsolete... blob | commitdiff | raw | diff to current