Age | Commit message (Expand) | Author |
---|---|---|
2020-02-20 | Remove unused code (#3782) | Andres Noetzli |
2020-02-13 | Update sygus v1 parser to use ParseOp utility (#3756) | Andrew Reynolds |
2019-05-15 | Fix iterators in Java API (#3000) | Andres Noetzli |
2016-11-01 | Working memory leak free version, changes interface to pointers. | ajreynol |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |