2018-08-22 | Andrew Reynolds | More unused code elimination (#2358) | blob | commitdiff | raw |
2018-05-23 | Andrew Reynolds | Add notions of evaluated kinds in TheoryModel (#1947) | blob | commitdiff | raw | diff to current |
2018-04-30 | Andrew Reynolds | Remove subsort symmetry breaking (#1807) | blob | commitdiff | raw | diff to current |
2018-03-23 | Andrew Reynolds | Remove unused code (#1700) | blob | commitdiff | raw | diff to current |
2018-03-21 | Mathias Preiner | Refactor mkoptions (#1631) | blob | commitdiff | raw | diff to current |