diff options
author | Jason Koenig <unknown> | 2012-07-10 16:08:44 -0700 |
---|---|---|
committer | Jason Koenig <unknown> | 2012-07-10 16:08:44 -0700 |
commit | 407cfc5cd9bddb106e60d55684a78e660af87f88 (patch) | |
tree | ad1ada34d480928783e997c85578f4f04ef82ae9 /Dafny/Rewriter.cs | |
parent | 8bc70b104efb559206a2b65e3f4151049dcb84ad (diff) |
Dafny: fixed ghost checking for labeled (i.e. named) expressions, changed to parallel syntax, other minor fixes
Diffstat (limited to 'Dafny/Rewriter.cs')
0 files changed, 0 insertions, 0 deletions