diff options
| author |  wuestholz <unknown> | 2013-07-31 19:15:58 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-31 19:15:58 -0700 |
| commit | ccaecf568003fda587a2df7633444aac0ab0796d (patch) | |
| tree | d2ff6e3fd3e8eb5836c8ad9812b03e084917e03b /Source/DafnyMenu | |
| parent | 226c4272911d9e1473a8b541917adde9cba9b6bc (diff) | |
Added support for more fine-grained generation of unique names.
Creation of unique names is now deferred until translation to Boogie or C#.
For Boogie names are unique within a Dafny class member.
Diffstat (limited to 'Source/DafnyMenu')
0 files changed, 0 insertions, 0 deletions