diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-06-11 15:03:52 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-06-11 15:03:52 +0200 |
| commit | f1f79835adeac5c22fb744c38a83fef01d0002ad (patch) | |
| tree | d6f69c1426ee36f8aeba5fbd0a92a008c4f68d7f /config | |
| parent | 5ad9f1e8a19d9658a86203fe2db8ad9fb329cd8e (diff) | |
Update experimental scripts. Support top-level non-terminals in sygus grammars. Allow -N in sygus terms. Minor bug fix in datatypes_sygus. Add regression.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions