diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-10 18:37:47 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-10 18:37:47 -0700 |
| commit | c8d2d5e5f67cbbe5c723feb8ab3f085beaecc93d (patch) | |
| tree | f5b955b59541570b07e149bcb6c635bf9149e385 /Binaries | |
| parent | 045044dca10db5cca9b1127755e2b86568dbd575 (diff) | |
Dafny: did a little to extend the support of labeled statements in refinements (things like multiple labels are still not thought through very well)
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions