diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-26 23:40:33 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-26 23:40:33 -0700 |
| commit | c6d9da6f688c18844c7f6a471030cce513e848b0 (patch) | |
| tree | 60c06c7fabf5e9fef54cb4889d896454f535b5af /BCT | |
| parent | cb83cf98d04830e986a101246b3a0a7180a06d36 (diff) | |
Dafny:
* fixed ghost/non-ghost story for breaks and returns
* changed compilation/translation to always use goto's to implement Dafny's breaks
* introduced "break break" statements
Diffstat (limited to 'BCT')
0 files changed, 0 insertions, 0 deletions