diff options
author | Rustan Leino <leino@microsoft.com> | 2012-01-05 15:55:45 -0800 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-01-05 15:55:45 -0800 |
commit | a69a61439a6dd3c4ea87c21442c53c36043012cf (patch) | |
tree | bdcb9be87920155ba37a516b6fc2733b418e34ea /Dafny/DafnyPipeline.csproj | |
parent | feee8f3d095a0e9e65e5bd6247296055d7bf410d (diff) |
Dafny: beginning of the new refinement transformations
Diffstat (limited to 'Dafny/DafnyPipeline.csproj')
-rw-r--r-- | Dafny/DafnyPipeline.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dafny/DafnyPipeline.csproj b/Dafny/DafnyPipeline.csproj index dfa9e503..7264389b 100644 --- a/Dafny/DafnyPipeline.csproj +++ b/Dafny/DafnyPipeline.csproj @@ -156,6 +156,7 @@ <Compile Include="DafnyMain.cs" />
<Compile Include="DafnyOptions.cs" />
<Compile Include="Printer.cs" />
+ <Compile Include="RefinementTransformer.cs" />
<Compile Include="Resolver.cs" />
<Compile Include="SccGraph.cs" />
<Compile Include="Translator.cs" />
|