summaryrefslogtreecommitdiff
path: root/test/unit/api/term_black.h
AgeCommit message (Expand)Author
2020-07-06Front end support for sequences (#4690)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-06-04Add a method for retrieving base of a constant array through API (#4494)makaimann
2020-06-03New C++ Api: First batch of API guards. (#4557)Aina Niemetz
2020-06-02New C++ API: Keep reference to solver object in non-solver objects. (#4549)Aina Niemetz
2020-03-11Simplifications to the Datatypes API (#4040)Andrew Reynolds
2020-02-24Add missing functions to new C++ API (#3769)Andrew Reynolds
2020-02-18Change datatype selector/constructor/tester to terms (#3773)makaimann
2019-12-02OpTerm Refactor: Allow retrieving OpTerm used to create Term in public C++ AP...makaimann
2019-10-08New C++ API: Term: Add missing checks for null. (#3364)Aina Niemetz
2019-10-07New C++ API: Add Term::getId(). (#3360)Aina Niemetz
2019-03-26Update copyright headers.Aina Niemetz
2019-03-18New C++: Remove redundant mkVar function.Aina Niemetz
2019-01-02New C++ API: Add tests for mk-functions in solver object. (#2764)Aina Niemetz
2018-12-17New C++ API: Add tests for term object. (#2755)Aina Niemetz
2018-11-05API: Fix assignment operators (#2680)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback