diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-25 16:37:12 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-25 16:37:12 -0700 |
| commit | a732a632287074e74a1dd394149b36e83526a0cf (patch) | |
| tree | 9770cb8127d4bf9d8348a5da54922d32f3d29fdb /Dafny/DafnyPipeline.csproj | |
| parent | 032662d0adb823376b1abd49a0c46ba3276f8721 (diff) | |
Dafny: fixed resolution bug for inductive datatypes (previous check did not handle generic datatypes correctly)
Dafny: fixed compiler bug in inductive datatypes (missing type parameters in emitted code)
Dafny: added "codatatype" declaration (syntax only for now)
Diffstat (limited to 'Dafny/DafnyPipeline.csproj')
0 files changed, 0 insertions, 0 deletions