diff options
Diffstat (limited to 'Source')
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 Binary files differnew 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")]
|