From b16618051e08f0b286e9f2171bdf6ed5efa552b1 Mon Sep 17 00:00:00 2001 From: mikebarnett Date: Fri, 30 Jul 2010 04:12:05 +0000 Subject: Made consistent the way all of the C# projects sign themselves and include the version information. --- Source/AbsInt/..svnbridge/InterimKey.snk | 1 - Source/AbsInt/AbsInt.csproj | 7 ++----- Source/AbsInt/AssemblyInfo.cs | 4 ---- Source/AbsInt/InterimKey.snk | Bin 596 -> 0 bytes Source/AbsInt/version.cs | 8 -------- Source/BoogieDriver/BoogieDriver.csproj | 5 +---- Source/BoogieDriver/version.cs | 8 -------- Source/Provers/Isabelle/Isabelle.csproj | 2 +- Source/Provers/Isabelle/version.cs | 8 -------- Source/Provers/SMTLib/SMTLib.csproj | 3 +++ Source/Provers/Simplify/Simplify.csproj | 3 +++ Source/Provers/Z3/Z3.csproj | 3 +++ Source/VCGeneration/..svnbridge/InterimKey.snk | 1 - Source/VCGeneration/InterimKey.snk | Bin 596 -> 0 bytes Source/VCGeneration/VCGeneration.csproj | 7 ++----- Source/VCGeneration/version.cs | 8 -------- Source/version.cs | 8 ++++++++ 17 files changed, 23 insertions(+), 53 deletions(-) delete mode 100644 Source/AbsInt/..svnbridge/InterimKey.snk delete mode 100644 Source/AbsInt/AssemblyInfo.cs delete mode 100644 Source/AbsInt/InterimKey.snk delete mode 100644 Source/AbsInt/version.cs delete mode 100644 Source/BoogieDriver/version.cs delete mode 100644 Source/Provers/Isabelle/version.cs delete mode 100644 Source/VCGeneration/..svnbridge/InterimKey.snk delete mode 100644 Source/VCGeneration/InterimKey.snk delete mode 100644 Source/VCGeneration/version.cs create mode 100644 Source/version.cs 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 @@ -svn:mime-typeapplication/octet-stream \ 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 @@ 512 0 true - InterimKey.snk + ..\InterimKey.snk true @@ -85,10 +85,7 @@ - - - - + 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 Binary files a/Source/AbsInt/InterimKey.snk and /dev/null differ diff --git a/Source/AbsInt/version.cs b/Source/AbsInt/version.cs deleted file mode 100644 index 2804c330..00000000 --- a/Source/AbsInt/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/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 @@ - + @@ -134,9 +134,6 @@ VCGeneration - - - 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 @@ - + 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 @@ v3.5 512 0 + true + ..\..\InterimKey.snk true @@ -81,6 +83,7 @@ + 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 @@ v3.5 512 0 + true + ..\..\InterimKey.snk true @@ -74,6 +76,7 @@ + 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 @@ v3.5 512 0 + true + ..\..\InterimKey.snk true @@ -79,6 +81,7 @@ + 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 @@ -svn:mime-typeapplication/octet-stream \ 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 Binary files a/Source/VCGeneration/InterimKey.snk and /dev/null 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 @@ 512 1 true - InterimKey.snk + ..\InterimKey.snk true @@ -86,7 +86,7 @@ - + @@ -111,9 +111,6 @@ VCExpr - - - 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/version.cs b/Source/version.cs new file mode 100644 index 00000000..2804c330 --- /dev/null +++ b/Source/version.cs @@ -0,0 +1,8 @@ +//----------------------------------------------------------------------------- +// +// Copyright (C) Microsoft Corporation. All Rights Reserved. +// +//----------------------------------------------------------------------------- +using System.Reflection; +[assembly: AssemblyVersion("2.0.0.0")] +[assembly: AssemblyFileVersion("2.0.0.0")] -- cgit v1.2.3