diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-13 22:02:52 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-13 22:02:52 +0000 |
| commit | 8d54316e7ff784a8d66da9ecc2d289ab463761c2 (patch) | |
| tree | c7b5351b372cb360780ce62935fb2cfb5792299a /test/Makefile | |
| parent | 69c9ec0e1e42f3f2f2f79d3e98398c5cd1559c66 (diff) | |
added support for parametric datatypes, updated cvc parser to handle parametric datatypes, type ascriptions are not implemented yet
Diffstat (limited to 'test/Makefile')
0 files changed, 0 insertions, 0 deletions