diff options
| author |  tabarbe <unknown> | 2010-08-27 17:23:51 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 17:23:51 +0000 |
| commit | 6de3f9c9f86be13bbd4f0bd6e4edf7d7785db0a4 (patch) | |
| tree | 087d90276b93254a98cbd1e3c898d5b2d48af1e8 /Source/Provers/Simplify | |
| parent | 5b3285b1261b27a5a6bdeac05ab836c0947280da (diff) | |
Boogie: Changed the cce classes into one separate project, which every other project in the Boogie solution references. Dafny.csproj has an internal copy of cce, so does not reference this project, because the Dafny cce uses some Dafny-defined types in its helper methods.
Diffstat (limited to 'Source/Provers/Simplify')
| -rw-r--r-- | Source/Provers/Simplify/Simplify.csproj | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj index 9591278f..368f6723 100644 --- a/Source/Provers/Simplify/Simplify.csproj +++ b/Source/Provers/Simplify/Simplify.csproj @@ -73,7 +73,6 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
- <Compile Include="cce.cs" />
<Compile Include="Let2ImpliesVisitor.cs" />
<Compile Include="Prover.cs" />
<Compile Include="ProverInterface.cs" />
@@ -88,6 +87,10 @@ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
+ <ProjectReference Include="..\..\CodeContractsExtender\CodeContractsExtender.csproj">
+ <Project>{ACCC0156-0921-43ED-8F67-AD8BDC8CDE31}</Project>
+ <Name>CodeContractsExtender</Name>
+ </ProjectReference>
<ProjectReference Include="..\..\Core\Core.csproj">
<Project>{B230A69C-C466-4065-B9C1-84D80E76D802}</Project>
<Name>Core</Name>
|