diff options
| author |  Ken McMillan <kenmcmil@microsoft.com> | 2013-05-07 17:40:40 -0700 |
|---|---|---|
| committer | Ken McMillan <kenmcmil@microsoft.com> | 2013-05-07 17:40:40 -0700 |
| commit | 9a9991f2131de8e78035581ea2569ba187318ff0 (patch) | |
| tree | 5f2c0d4e85c9713f4d6663d26b49f67b5fbb27f0 /Source/VCGeneration/VCGeneration.csproj | |
| parent | 77aeb920de2c3cd22a1296700305539f28f6761c (diff) | |
Adding fixedpoint engine backend
Diffstat (limited to 'Source/VCGeneration/VCGeneration.csproj')
| -rw-r--r-- | Source/VCGeneration/VCGeneration.csproj | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index 0c98a891..f724307b 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -147,7 +147,10 @@ <Compile Include="Check.cs" />
<Compile Include="ConditionGeneration.cs" />
<Compile Include="Context.cs" />
+ <Compile Include="ExprExtensions.cs" />
+ <Compile Include="FixedpointVC.cs" />
<Compile Include="OrderingAxioms.cs" />
+ <Compile Include="RPFP.cs" />
<Compile Include="StratifiedVC.cs" />
<Compile Include="VC.cs" />
<Compile Include="..\version.cs" />
|