Age | Commit message (Expand) | Author |
---|---|---|
2018-04-27 | Core improvements to extended rewriter (#1820) | Andrew Reynolds |
2018-04-16 | Skolemize candidate rewrite rule checks (#1777) | Andrew Reynolds |
2018-04-09 | Fix hasSubterm calls for higher-order (#1760) | Andrew Reynolds |
2018-04-02 | Improvements to extended rewriter for Booleans and ITE (#1705) | Andrew Reynolds |
2018-03-23 | Remove unused code (#1700) | Andrew Reynolds |
2018-03-05 | Enable -Wsuggest-override by default. (#1643) | Mathias Preiner |
2017-11-28 | Improve trigger filter instances (#1402) | Andrew Reynolds |
2017-11-24 | (Refactor) Instantiate utility (#1387) | Andrew Reynolds |
2017-11-22 | Sygus Lambda Grammars (#1390) | Andrew Reynolds |
2017-11-14 | (Refactor) Split sygus term db (#1335) | Andrew Reynolds |
2017-11-01 | (Refactor) Split term util (#1303) | Andrew Reynolds |
2017-10-28 | Document term db (#1220) | Andrew Reynolds |
2017-10-20 | Make Sygus conjectures higher-order (#1244) | Andrew Reynolds |
2017-10-09 | Split term database (#1206) | Andrew Reynolds |