diff options
| author |  mikebarnett <unknown> | 2010-07-30 04:12:05 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-30 04:12:05 +0000 |
| commit | b16618051e08f0b286e9f2171bdf6ed5efa552b1 (patch) | |
| tree | c02778a49d4405bba59c12630d793e98060f49b3 /Source/Provers | |
| parent | 4a9e9a62ff2d9a530e56c8ed9c3f6bae2b9bf8d4 (diff) | |
Made consistent the way all of the C# projects sign themselves and include the version information.
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 2 | ||||
| -rw-r--r-- | Source/Provers/Isabelle/version.cs | 8 | ||||
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj | 3 | ||||
| -rw-r--r-- | Source/Provers/Simplify/Simplify.csproj | 3 | ||||
| -rw-r--r-- | Source/Provers/Z3/Z3.csproj | 3 |
5 files changed, 10 insertions, 9 deletions
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index 9347d72f..c98dd252 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -70,7 +70,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="Prover.cs" />
- <Compile Include="version.cs" />
+ <Compile Include="..\..\version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\..\AIFramework\AIFramework.sscproj">
diff --git a/Source/Provers/Isabelle/version.cs b/Source/Provers/Isabelle/version.cs deleted file mode 100644 index 2804c330..00000000 --- a/Source/Provers/Isabelle/version.cs +++ /dev/null @@ -1,8 +0,0 @@ -//-----------------------------------------------------------------------------
-//
-// Copyright (C) Microsoft Corporation. All Rights Reserved.
-//
-//-----------------------------------------------------------------------------
-using System.Reflection;
-[assembly: AssemblyVersion("2.0.0.0")]
-[assembly: AssemblyFileVersion("2.0.0.0")]
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index 21941194..21c830fd 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -13,6 +13,8 @@ <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
+ <SignAssembly>true</SignAssembly>
+ <AssemblyOriginatorKeyFile>..\..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -81,6 +83,7 @@ <Compile Include="ProverInterface.cs" />
<Compile Include="SMTLibLineariser.cs" />
<Compile Include="TypeDeclCollector.cs" />
+ <Compile Include="..\..\version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\..\AIFramework\AIFramework.sscproj">
diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj index 86d8eb31..98539dd8 100644 --- a/Source/Provers/Simplify/Simplify.csproj +++ b/Source/Provers/Simplify/Simplify.csproj @@ -13,6 +13,8 @@ <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
+ <SignAssembly>true</SignAssembly>
+ <AssemblyOriginatorKeyFile>..\..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -74,6 +76,7 @@ <Compile Include="Let2ImpliesVisitor.cs" />
<Compile Include="Prover.cs" />
<Compile Include="ProverInterface.cs" />
+ <Compile Include="..\..\version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\..\AIFramework\AIFramework.sscproj">
diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj index 7e2b546a..e8353635 100644 --- a/Source/Provers/Z3/Z3.csproj +++ b/Source/Provers/Z3/Z3.csproj @@ -13,6 +13,8 @@ <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
+ <SignAssembly>true</SignAssembly>
+ <AssemblyOriginatorKeyFile>..\..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -79,6 +81,7 @@ <Compile Include="Prover.cs" />
<Compile Include="ProverInterface.cs" />
<Compile Include="TypeDeclCollector.cs" />
+ <Compile Include="..\..\version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\..\AIFramework\AIFramework.sscproj">
|