summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--Source/AbsInt/..svnbridge/InterimKey.snk1
-rw-r--r--Source/AbsInt/AbsInt.csproj7
-rw-r--r--Source/AbsInt/AssemblyInfo.cs4
-rw-r--r--Source/AbsInt/InterimKey.snkbin596 -> 0 bytes
-rw-r--r--Source/BoogieDriver/BoogieDriver.csproj5
-rw-r--r--Source/BoogieDriver/version.cs8
-rw-r--r--Source/Provers/Isabelle/Isabelle.csproj2
-rw-r--r--Source/Provers/Isabelle/version.cs8
-rw-r--r--Source/Provers/SMTLib/SMTLib.csproj3
-rw-r--r--Source/Provers/Simplify/Simplify.csproj3
-rw-r--r--Source/Provers/Z3/Z3.csproj3
-rw-r--r--Source/VCGeneration/..svnbridge/InterimKey.snk1
-rw-r--r--Source/VCGeneration/InterimKey.snkbin596 -> 0 bytes
-rw-r--r--Source/VCGeneration/VCGeneration.csproj7
-rw-r--r--Source/VCGeneration/version.cs8
-rw-r--r--Source/version.cs (renamed from Source/AbsInt/version.cs)0
16 files changed, 15 insertions, 45 deletions
diff --git a/Source/AbsInt/..svnbridge/InterimKey.snk b/Source/AbsInt/..svnbridge/InterimKey.snk
deleted file mode 100644
index 08149303..00000000
--- a/Source/AbsInt/..svnbridge/InterimKey.snk
+++ /dev/null
@@ -1 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?><ItemProperties xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><Properties><Property><Name>svn:mime-type</Name><Value>application/octet-stream</Value></Property></Properties></ItemProperties> \ No newline at end of file
diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index e7581599..3693400f 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -14,7 +14,7 @@
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
<SignAssembly>true</SignAssembly>
- <AssemblyOriginatorKeyFile>InterimKey.snk</AssemblyOriginatorKeyFile>
+ <AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -85,10 +85,7 @@
<Compile Include="ExprFactories.cs" />
<Compile Include="LoopInvariantsOnDemand.cs" />
<Compile Include="Traverse.cs" />
- <Compile Include="version.cs" />
- </ItemGroup>
- <ItemGroup>
- <None Include="InterimKey.snk" />
+ <Compile Include="..\version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\AIFramework\AIFramework.sscproj">
diff --git a/Source/AbsInt/AssemblyInfo.cs b/Source/AbsInt/AssemblyInfo.cs
deleted file mode 100644
index 6ed99a25..00000000
--- a/Source/AbsInt/AssemblyInfo.cs
+++ /dev/null
@@ -1,4 +0,0 @@
-using System.Reflection;
-using System.Runtime.CompilerServices;
-
-[assembly: AssemblyKeyFile("..\\InterimKey.snk")]
diff --git a/Source/AbsInt/InterimKey.snk b/Source/AbsInt/InterimKey.snk
deleted file mode 100644
index 8fc79508..00000000
--- a/Source/AbsInt/InterimKey.snk
+++ /dev/null
Binary files differ
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index 844fd298..f5684a2b 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -86,7 +86,7 @@
</ItemGroup>
<ItemGroup>
<Compile Include="BoogieDriver.cs" />
- <Compile Include="version.cs" />
+ <Compile Include="..\version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\AbsInt\AbsInt.csproj">
@@ -135,9 +135,6 @@
</ProjectReference>
</ItemGroup>
<ItemGroup>
- <None Include="InterimKey.snk" />
- </ItemGroup>
- <ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
diff --git a/Source/BoogieDriver/version.cs b/Source/BoogieDriver/version.cs
deleted file mode 100644
index 2804c330..00000000
--- a/Source/BoogieDriver/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/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">
diff --git a/Source/VCGeneration/..svnbridge/InterimKey.snk b/Source/VCGeneration/..svnbridge/InterimKey.snk
deleted file mode 100644
index 08149303..00000000
--- a/Source/VCGeneration/..svnbridge/InterimKey.snk
+++ /dev/null
@@ -1 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?><ItemProperties xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><Properties><Property><Name>svn:mime-type</Name><Value>application/octet-stream</Value></Property></Properties></ItemProperties> \ No newline at end of file
diff --git a/Source/VCGeneration/InterimKey.snk b/Source/VCGeneration/InterimKey.snk
deleted file mode 100644
index 8fc79508..00000000
--- a/Source/VCGeneration/InterimKey.snk
+++ /dev/null
Binary files differ
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index f8210ceb..073f60c6 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -14,7 +14,7 @@
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>1</CodeContractsAssemblyMode>
<SignAssembly>true</SignAssembly>
- <AssemblyOriginatorKeyFile>InterimKey.snk</AssemblyOriginatorKeyFile>
+ <AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -86,7 +86,7 @@
<Compile Include="OrderingAxioms.cs" />
<Compile Include="VC.cs" />
<Compile Include="VCDoomed.cs" />
- <Compile Include="version.cs" />
+ <Compile Include="..\version.cs" />
<Compile Include="Wlp.cs" />
</ItemGroup>
<ItemGroup>
@@ -112,9 +112,6 @@
</ProjectReference>
</ItemGroup>
<ItemGroup>
- <None Include="InterimKey.snk" />
- </ItemGroup>
- <ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
diff --git a/Source/VCGeneration/version.cs b/Source/VCGeneration/version.cs
deleted file mode 100644
index 2804c330..00000000
--- a/Source/VCGeneration/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/AbsInt/version.cs b/Source/version.cs
index 2804c330..2804c330 100644
--- a/Source/AbsInt/version.cs
+++ b/Source/version.cs
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 02:18:11 +0000