Age | Commit message (Expand) | Author |
---|---|---|
2019-12-02 | Fix case of higher-order + sygus inference (#3509) | Andrew Reynolds |
2019-11-27 | Fix sygus inference for choice functions introduced at preprocess (#3500) | Andrew Reynolds |
2019-10-08 | Limit cases of sygus inference based on type (#3370) | Andrew Reynolds |
2019-08-20 | Fixes for sygus inference on quantifier free problems (#3202) | Andrew Reynolds |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-10-02 | Make registration of preprocessing passes explicit (#2564) | Andres Noetzli |
2018-10-01 | Refactor preprocessing pass registration (#2468) | Andres Noetzli |
2018-08-20 | Make sygus inference a preprocessing pass (#2334) | Andrew Reynolds |