diff options
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/SMTLib/AssemblyInfo.ssc | 4 | ||||
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.sscproj | 4 | ||||
| -rw-r--r-- | Source/Provers/Simplify/AssemblyInfo.ssc | 4 | ||||
| -rw-r--r-- | Source/Provers/Simplify/Simplify.sscproj | 4 | ||||
| -rw-r--r-- | Source/Provers/Z3/AssemblyInfo.ssc | 4 | ||||
| -rw-r--r-- | Source/Provers/Z3/Z3.sscproj | 4 |
6 files changed, 24 insertions, 0 deletions
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>
|