diff options
author | 2014-08-21 21:03:52 -0700 | |
---|---|---|
committer | 2014-08-21 21:03:52 -0700 | |
commit | 900c42823f0661107543716a247bec22f01cd9cc (patch) | |
tree | 13fdda07d14827c2bad6fd71d4180cf1d0084d56 /Source/DafnyExtension/GlobalSuppressions.cs | |
parent | 81669a1d8bb2e36d86464708bb234e7920776ae6 (diff) |
Changed syntax of derived types to "newtype"
Added parsing of constraints (beyond parsing is yet to come)
Diffstat (limited to 'Source/DafnyExtension/GlobalSuppressions.cs')
0 files changed, 0 insertions, 0 deletions