Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-06-16 | Update copyright headers. | Aina Niemetz | |
2020-06-02 | New C++ API: Keep reference to solver object in non-solver objects. (#4549) | Aina Niemetz | |
This is in preparation for adding guards to ensure that sort and term arguments belong to the same solver. | |||
2020-04-03 | New C++ API: Remove Op::getSort(). (#4208) | Aina Niemetz | |
2020-02-21 | New C++ API: Remove TOTAL kinds. (#3794) | Aina Niemetz | |
2020-02-20 | Remove front-end support for Chain (#3767) | Andrew Reynolds | |
2019-12-04 | Add mkOp for a single Kind (#3522) | makaimann | |
2019-12-02 | Minor refactor: rename opterm_black to op_black (#3521) | makaimann | |