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 /test/regress/regress0/fmf | |
| 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 'test/regress/regress0/fmf')
0 files changed, 0 insertions, 0 deletions