Age | Commit message (Expand) | Author |
---|---|---|
2020-08-25 | Replace Expr-level datatype with Node-level DType (#4875) | Andrew Reynolds |
2020-07-14 | Remove sygus print callback (#4727) | Andrew Reynolds |
2020-06-16 | Update copyright headers. | Aina Niemetz |
2020-06-12 | Move sygus datatype utility functions to their own file (#4595) | Andrew Reynolds |
2020-06-04 | Add sygus datatype substitution utility method (#4390) | Andrew Reynolds |
2020-06-04 | Fix abduction with datatypes (#4566) | Andrew Reynolds |
2019-12-12 | Use the node-level datatypes API (#3556) | Andrew Reynolds |
2019-11-18 | Use standard sygus interface for abduction and rewrite rule synthesis (#3471) | Andrew Reynolds |
2019-10-14 | Support UF in default sygus grammars (#3319) | Andrew Reynolds |
2019-09-16 | Move specific attributes out of term util (#3279) | Andrew Reynolds |
2019-08-27 | Fixes for get-abduct (#3229) | Andrew Reynolds |
2019-08-13 | Track sygus variable to term relationship via attribute (#3182) | Andrew Reynolds |
2019-07-29 | Support get-abduct smt2 command (#3122) | Andrew Reynolds |