diff options
author | rustanleino <unknown> | 2010-11-01 21:56:14 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2010-11-01 21:56:14 +0000 |
commit | 31f5a7c20e25225e4b9dca95e60e955402f64df6 (patch) | |
tree | a8b2a54790d1e1900ed0a7ea8d00bd6faa7ce31f /Source/ModelViewer/ModelViewer.csproj | |
parent | 1219dc1f931e17918d3a1bfe580149b21493a0c4 (diff) |
Dafny: a partial first crack at a Dafny model-viewer provider, including captureState mark-ups in the Boogie code generated from Dafny
Diffstat (limited to 'Source/ModelViewer/ModelViewer.csproj')
-rw-r--r-- | Source/ModelViewer/ModelViewer.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj index 413abd67..3027900a 100644 --- a/Source/ModelViewer/ModelViewer.csproj +++ b/Source/ModelViewer/ModelViewer.csproj @@ -68,6 +68,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="BaseProvider.cs" />
+ <Compile Include="DafnyProvider.cs" />
<Compile Include="DataModel.cs" />
<Compile Include="Main.cs">
<SubType>Form</SubType>
|