Sign assemblies

26 files changed, 100 insertions, 0 deletions

diff --git a/Source/AIFramework/AIFramework.sscproj b/Source/AIFramework/AIFramework.sscproj
index dd79b9b8..76a83601 100644
--- a/Source/AIFramework/AIFramework.sscproj
+++ b/Source/AIFramework/AIFramework.sscproj
@@ -151,6 +151,10 @@
                  SubType="Code"

                  RelPath="VariableMap\ConstantExpressions.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/AIFramework/AssemblyInfo.ssc b/Source/AIFramework/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/AIFramework/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/AbsInt/AssemblyInfo.ssc b/Source/AbsInt/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/AbsInt/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/Basetypes/AssemblyInfo.ssc b/Source/Basetypes/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/Basetypes/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/Basetypes/Basetypes.sscproj b/Source/Basetypes/Basetypes.sscproj
index 4c3e3cb6..46901fae 100644
--- a/Source/Basetypes/Basetypes.sscproj
+++ b/Source/Basetypes/Basetypes.sscproj
@@ -97,6 +97,10 @@
                  SubType="Code"

                  RelPath="Set.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/BoogieDriver/AssemblyInfo.ssc b/Source/BoogieDriver/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/BoogieDriver/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/BoogieDriver/BoogieDriver.sscproj b/Source/BoogieDriver/BoogieDriver.sscproj
index 37a31003..6be752c9 100644
--- a/Source/BoogieDriver/BoogieDriver.sscproj
+++ b/Source/BoogieDriver/BoogieDriver.sscproj
@@ -134,6 +134,10 @@
                  SubType="Code"

                  RelPath="..\version.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/Core/AssemblyInfo.ssc b/Source/Core/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/Core/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/Core/Core.sscproj b/Source/Core/Core.sscproj
index a1f8e9ca..ef490ff2 100644
--- a/Source/Core/Core.sscproj
+++ b/Source/Core/Core.sscproj
@@ -206,6 +206,10 @@
                  SubType="Code"

                  RelPath="TypeAmbiguitySeeker.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/Dafny/AssemblyInfo.ssc b/Source/Dafny/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/Dafny/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/DafnyDriver/AssemblyInfo.ssc b/Source/DafnyDriver/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/DafnyDriver/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/Graph/AssemblyInfo.ssc b/Source/Graph/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/Graph/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/Graph/Graph.sscproj b/Source/Graph/Graph.sscproj
index 137c9b0e..e849b569 100644
--- a/Source/Graph/Graph.sscproj
+++ b/Source/Graph/Graph.sscproj
@@ -83,6 +83,10 @@
                  SubType="Code"

                  RelPath="..\version.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/Houdini/AssemblyInfo.ssc b/Source/Houdini/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/Houdini/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/InterimKey.snk b/Source/InterimKey.snk
new file mode 100644
index 00000000..8fc79508
--- /dev/null
+++ b/Source/InterimKey.snk
diff --git a/Source/Provers/SMTLib/AssemblyInfo.ssc b/Source/Provers/SMTLib/AssemblyInfo.ssc
new file mode 100644
index 00000000..ed1d3451
--- /dev/null
+++ b/Source/Provers/SMTLib/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\..\\InterimKey.snk")]

diff --git a/Source/Provers/SMTLib/SMTLib.sscproj b/Source/Provers/SMTLib/SMTLib.sscproj
index d618b0dd..884f3084 100644
--- a/Source/Provers/SMTLib/SMTLib.sscproj
+++ b/Source/Provers/SMTLib/SMTLib.sscproj
@@ -110,6 +110,10 @@
                  SubType="Code"

                  RelPath="TypeDeclCollector.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/Provers/Simplify/AssemblyInfo.ssc b/Source/Provers/Simplify/AssemblyInfo.ssc
new file mode 100644
index 00000000..ed1d3451
--- /dev/null
+++ b/Source/Provers/Simplify/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\..\\InterimKey.snk")]

diff --git a/Source/Provers/Simplify/Simplify.sscproj b/Source/Provers/Simplify/Simplify.sscproj
index 675a766b..c8b416f4 100644
--- a/Source/Provers/Simplify/Simplify.sscproj
+++ b/Source/Provers/Simplify/Simplify.sscproj
@@ -126,6 +126,10 @@
                  SubType="Code"

                  RelPath="Let2ImpliesVisitor.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

     <Target Name="AfterBuild"

diff --git a/Source/Provers/Z3/AssemblyInfo.ssc b/Source/Provers/Z3/AssemblyInfo.ssc
new file mode 100644
index 00000000..ed1d3451
--- /dev/null
+++ b/Source/Provers/Z3/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\..\\InterimKey.snk")]

diff --git a/Source/Provers/Z3/Z3.sscproj b/Source/Provers/Z3/Z3.sscproj
index 5370a640..4d7b3ee6 100644
--- a/Source/Provers/Z3/Z3.sscproj
+++ b/Source/Provers/Z3/Z3.sscproj
@@ -134,6 +134,10 @@
                  SubType="Code"

                  RelPath="Inspector.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/VCExpr/AssemblyInfo.ssc b/Source/VCExpr/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/VCExpr/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/VCExpr/VCExpr.sscproj b/Source/VCExpr/VCExpr.sscproj
index 3f3a903a..53482aa5 100644
--- a/Source/VCExpr/VCExpr.sscproj
+++ b/Source/VCExpr/VCExpr.sscproj
@@ -135,6 +135,10 @@
                  SubType="Code"

                  RelPath="..\version.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/VCGeneration/AssemblyInfo.ssc b/Source/VCGeneration/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/VCGeneration/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]

diff --git a/Source/VCGeneration/VCGeneration.sscproj b/Source/VCGeneration/VCGeneration.sscproj
index 70f4055d..2db480f6 100644
--- a/Source/VCGeneration/VCGeneration.sscproj
+++ b/Source/VCGeneration/VCGeneration.sscproj
@@ -136,6 +136,10 @@
                  SubType="Code"

                  RelPath="VCDoomed.ssc"

                  />

+        <File BuildAction="Compile"

+                 SubType="Code"

+                 RelPath="AssemblyInfo.ssc"

+                 />

       </Include>

     </Files>

   </XEN>

diff --git a/Source/XAHA/AssemblyInfo.ssc b/Source/XAHA/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/XAHA/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;

+using System.Runtime.CompilerServices;

+

+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]