diff options
author | qadeer <unknown> | 2014-04-20 21:08:11 -0700 |
---|---|---|
committer | qadeer <unknown> | 2014-04-20 21:08:11 -0700 |
commit | b23a93d04bd66014854af44258264f9867c73f55 (patch) | |
tree | cdc58392e8428189951ed390745a9f772218d4d0 /Source/Concurrency/Concurrency.csproj | |
parent | 2e190e24541eb9608e1d4ba18874c2403156e792 (diff) |
added simulation relation computation to yield type checking
updated the type check to incorporate {:terminates} annotation
Diffstat (limited to 'Source/Concurrency/Concurrency.csproj')
-rw-r--r-- | Source/Concurrency/Concurrency.csproj | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Concurrency/Concurrency.csproj b/Source/Concurrency/Concurrency.csproj index 2d2b7d12..c245d05a 100644 --- a/Source/Concurrency/Concurrency.csproj +++ b/Source/Concurrency/Concurrency.csproj @@ -11,7 +11,7 @@ <AssemblyName>Concurrency</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
- <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
+ <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'">Client</TargetFrameworkProfile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<PlatformTarget>AnyCPU</PlatformTarget>
@@ -76,6 +76,7 @@ <Compile Include="OwickiGries.cs" />
<Compile Include="Program.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
+ <Compile Include="SimulationRelation.cs" />
<Compile Include="TypeCheck.cs" />
<Compile Include="YieldTypeChecker.cs" />
</ItemGroup>
|