diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-26 18:03:43 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-26 18:03:43 -0700 |
| commit | 1c36ec8c3068eafdf1b46f01207c216dff5dbb88 (patch) | |
| tree | 7ad2d4594f6e74c2b29b28202507462ccfc1e05a /.hgignore | |
| parent | 1d290b273b04e268dd4614d65e29b3e07b44ee61 (diff) | |
Dafny: compile co-inductive datatypes
Dafny: for inductive datatypes, cache any default value computed and also produce slightly tidier target code
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions