diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-07 20:40:42 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-08 01:40:42 +0000 |
commit | 89384c9a4aad291ce5ca26917507e4fd47c6ec4f (patch) | |
tree | 5b963e9c863686dd452322a672a6deb46cec1bfa /doc | |
parent | a3605a32a3968c141d50e95477584185616bdbbd (diff) |
Initial support for parametric datatypes in sygus (#6304)
Fixes #6298.
Enables parsing of par in the sygus parser, and adds support for default grammar construction.
Also fixes a bug related to single invocation for non-function types.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions