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 | 2730584ec8f127d950e5ee8884e8bc2a6e2d3db2 (patch) | |
| tree | 0ad5c08d420cb71238542b7dc1aa218b4229aa63 /Dafny/Compiler.cs | |
| parent | 7b8adafdc184fd812fbb26d4d4ca4aaf5f0d134a (diff) | |
Dafny: Translate general LHSs for var and := (not yet for call, no compilation yet)
Diffstat (limited to 'Dafny/Compiler.cs')
0 files changed, 0 insertions, 0 deletions