git.libre-soc.org Git - cvc5.git/history - test/unit/api/term

2020-06-04	Aina Niemetz	New C++ Api: First batch of API guards. (#4557)	blob \| commitdiff \| raw
2020-06-02	Aina Niemetz	New C++ API: Keep reference to solver object in non...	blob \| commitdiff \| raw \| diff to current
2020-03-12	Andrew Reynolds	Simplifications to the Datatypes API (#4040)	blob \| commitdiff \| raw \| diff to current
2020-02-24	Andrew Reynolds	Add missing functions to new C++ API (#3769)	blob \| commitdiff \| raw \| diff to current
2020-02-19	makaimann	Change datatype selector/constructor/tester to terms...	blob \| commitdiff \| raw \| diff to current
2019-12-02	makaimann	OpTerm Refactor: Allow retrieving OpTerm used to create...	blob \| commitdiff \| raw \| diff to current
2019-10-09	Aina Niemetz	New C++ API: Term: Add missing checks for null. (#3364)	blob \| commitdiff \| raw \| diff to current
2019-10-08	Aina Niemetz	New C++ API: Add Term::getId(). (#3360)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-19	Aina Niemetz	New C++: Remove redundant mkVar function.	blob \| commitdiff \| raw \| diff to current
2019-01-03	Aina Niemetz	New C++ API: Add tests for mk-functions in solver objec...	blob \| commitdiff \| raw \| diff to current
2018-12-17	Aina Niemetz	New C++ API: Add tests for term object. (#2755)	blob \| commitdiff \| raw \| diff to current
2018-11-05	Andres Noetzli	API: Fix assignment operators (#2680)	blob \| commitdiff \| raw \| diff to current