diff options
| author |  wuestholz <unknown> | 2013-06-04 13:14:39 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-04 13:14:39 -0700 |
| commit | 1a7a703b58fab2201dce124c23b0ae04b86a21a7 (patch) | |
| tree | e07c7456293a871d7d38586420e58266ca8eb1e6 /Source/DafnyExtension/DafnyExtension.csproj | |
| parent | 0d0c36c9c42b5b6390430e823c5a976770411774 (diff) | |
Did some refactoring of the Dafny drivers.
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index eb50f698..c9f08490 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -105,6 +105,10 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\..\Binaries\DafnyPipeline.dll</HintPath>
</Reference>
+ <Reference Include="Doomed, Version=0.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+ <SpecificVersion>False</SpecificVersion>
+ <HintPath>..\..\..\boogie\Binaries\Doomed.dll</HintPath>
+ </Reference>
<Reference Include="EnvDTE, Version=8.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a">
<EmbedInteropTypes>False</EmbedInteropTypes>
</Reference>
@@ -116,6 +120,10 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\..\..\boogie\Binaries\Graph.dll</HintPath>
</Reference>
+ <Reference Include="Houdini, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+ <SpecificVersion>False</SpecificVersion>
+ <HintPath>..\..\..\boogie\Binaries\Houdini.dll</HintPath>
+ </Reference>
<Reference Include="Microsoft.VisualStudio.CoreUtility">
<Private>False</Private>
</Reference>
|