diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-07 19:00:09 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-07 19:00:09 -0700 |
| commit | 967acc643c247cd649d665f9b879e67e9773b44e (patch) | |
| tree | 8102d52f61b28d2d7ed338c94248b1d1c9688e81 /Util | |
| parent | 99d505ff5d7f8fcbf8ca13f506482b85761e21aa (diff) | |
Dafny: Added detection and support for tail recursive calls (and an optional "tailrecursion" attribute). Also, let the cloner also clone attributes.
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions