diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-30 22:01:35 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-30 22:01:35 -0700 |
| commit | bcc2de7ff9390509b1087c47d8b5e825ca9df3c1 (patch) | |
| tree | 24a75cbc88d156eeb4ac59bc850c52f8251ad182 /Util | |
| parent | 26ebf57c586412ab135304dd6551a525e29a9f35 (diff) | |
Dafny: Translate general LHSs for var and := (not yet for call, no compilation yet)
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions