projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
api: Rename get(Selector|Constructor)Term() to getTerm(). (#8537)
[cvc5.git] / test / unit / api / cpp / solver_white.cpp
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... blob | commitdiff | raw
2022-04-02 Aina Niemetzapi: Remove DatatypeConstructor::getSelectorTerm()... blob | commitdiff | raw | diff to current
2022-04-01 Aina Niemetzapi: Remove Datatype::getConstructorTerm(). (#8529) blob | commitdiff | raw | diff to current
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... blob | commitdiff | raw | diff to current
2022-03-22 Mathias Preinerapi: Unify mkTerm variants. (#8357) blob | commitdiff | raw | diff to current
2021-11-10 Aina NiemetzReorganize test/unit/api directory. (#7612) blob | commitdiff | raw | diff to current