From cd2f9e65306e85bf74d6b5e3dc8aa16bf6b1e5d1 Mon Sep 17 00:00:00 2001 From: stobies Date: Wed, 30 Sep 2009 06:38:57 +0000 Subject: Restoring Spec# binaries --- Binaries/..svnbridge/Microsoft.SpecSharp.pdb | 1 + Binaries/..svnbridge/Mscorlib.Contracts.dll | 1 + Binaries/..svnbridge/System.Compiler.Contracts.dll | 1 + .../System.Compiler.Framework.Contracts.dll | 1 + Binaries/..svnbridge/System.Compiler.Framework.dll | 1 + Binaries/..svnbridge/System.Compiler.Framework.pdb | 1 + Binaries/..svnbridge/System.Compiler.dll | 1 + Binaries/..svnbridge/System.Compiler.pdb | 1 + Binaries/..svnbridge/System.Contracts.dll | 1 + Binaries/..svnbridge/System.Xml.Contracts.dll | 1 + Binaries/..svnbridge/microsoft.specsharp.dll | 1 + Binaries/Microsoft.SpecSharp.pdb | Bin 0 -> 615936 bytes Binaries/Mscorlib.Contracts.dll | Bin 0 -> 884736 bytes Binaries/System.Compiler.Contracts.dll | Bin 0 -> 57344 bytes Binaries/System.Compiler.Framework.Contracts.dll | Bin 0 -> 16384 bytes Binaries/System.Compiler.Framework.dll | Bin 0 -> 1187840 bytes Binaries/System.Compiler.Framework.pdb | Bin 0 -> 2569728 bytes Binaries/System.Compiler.dll | Bin 0 -> 872448 bytes Binaries/System.Compiler.pdb | Bin 0 -> 2270720 bytes Binaries/System.Contracts.dll | Bin 0 -> 237568 bytes Binaries/System.Xml.Contracts.dll | Bin 0 -> 20480 bytes Binaries/microsoft.specsharp.dll | Bin 0 -> 491520 bytes 22 files changed, 11 insertions(+) create mode 100644 Binaries/..svnbridge/Microsoft.SpecSharp.pdb create mode 100644 Binaries/..svnbridge/Mscorlib.Contracts.dll create mode 100644 Binaries/..svnbridge/System.Compiler.Contracts.dll create mode 100644 Binaries/..svnbridge/System.Compiler.Framework.Contracts.dll create mode 100644 Binaries/..svnbridge/System.Compiler.Framework.dll create mode 100644 Binaries/..svnbridge/System.Compiler.Framework.pdb create mode 100644 Binaries/..svnbridge/System.Compiler.dll create mode 100644 Binaries/..svnbridge/System.Compiler.pdb create mode 100644 Binaries/..svnbridge/System.Contracts.dll create mode 100644 Binaries/..svnbridge/System.Xml.Contracts.dll create mode 100644 Binaries/..svnbridge/microsoft.specsharp.dll create mode 100644 Binaries/Microsoft.SpecSharp.pdb create mode 100644 Binaries/Mscorlib.Contracts.dll create mode 100644 Binaries/System.Compiler.Contracts.dll create mode 100644 Binaries/System.Compiler.Framework.Contracts.dll create mode 100644 Binaries/System.Compiler.Framework.dll create mode 100644 Binaries/System.Compiler.Framework.pdb create mode 100644 Binaries/System.Compiler.dll create mode 100644 Binaries/System.Compiler.pdb create mode 100644 Binaries/System.Contracts.dll create mode 100644 Binaries/System.Xml.Contracts.dll create mode 100644 Binaries/microsoft.specsharp.dll (limited to 'Binaries') diff --git a/Binaries/..svnbridge/Microsoft.SpecSharp.pdb b/Binaries/..svnbridge/Microsoft.SpecSharp.pdb new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/Microsoft.SpecSharp.pdb @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/Mscorlib.Contracts.dll b/Binaries/..svnbridge/Mscorlib.Contracts.dll new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/Mscorlib.Contracts.dll @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/System.Compiler.Contracts.dll b/Binaries/..svnbridge/System.Compiler.Contracts.dll new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/System.Compiler.Contracts.dll @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/System.Compiler.Framework.Contracts.dll b/Binaries/..svnbridge/System.Compiler.Framework.Contracts.dll new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/System.Compiler.Framework.Contracts.dll @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/System.Compiler.Framework.dll b/Binaries/..svnbridge/System.Compiler.Framework.dll new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/System.Compiler.Framework.dll @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/System.Compiler.Framework.pdb b/Binaries/..svnbridge/System.Compiler.Framework.pdb new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/System.Compiler.Framework.pdb @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/System.Compiler.dll b/Binaries/..svnbridge/System.Compiler.dll new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/System.Compiler.dll @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/System.Compiler.pdb b/Binaries/..svnbridge/System.Compiler.pdb new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/System.Compiler.pdb @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/System.Contracts.dll b/Binaries/..svnbridge/System.Contracts.dll new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/System.Contracts.dll @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/System.Xml.Contracts.dll b/Binaries/..svnbridge/System.Xml.Contracts.dll new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/System.Xml.Contracts.dll @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/..svnbridge/microsoft.specsharp.dll b/Binaries/..svnbridge/microsoft.specsharp.dll new file mode 100644 index 00000000..08149303 --- /dev/null +++ b/Binaries/..svnbridge/microsoft.specsharp.dll @@ -0,0 +1 @@ +svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/Microsoft.SpecSharp.pdb b/Binaries/Microsoft.SpecSharp.pdb new file mode 100644 index 00000000..9fa6f932 Binary files /dev/null and b/Binaries/Microsoft.SpecSharp.pdb differ diff --git a/Binaries/Mscorlib.Contracts.dll b/Binaries/Mscorlib.Contracts.dll new file mode 100644 index 00000000..b0aeeb5f Binary files /dev/null and b/Binaries/Mscorlib.Contracts.dll differ diff --git a/Binaries/System.Compiler.Contracts.dll b/Binaries/System.Compiler.Contracts.dll new file mode 100644 index 00000000..6a573ef8 Binary files /dev/null and b/Binaries/System.Compiler.Contracts.dll differ diff --git a/Binaries/System.Compiler.Framework.Contracts.dll b/Binaries/System.Compiler.Framework.Contracts.dll new file mode 100644 index 00000000..50726f3e Binary files /dev/null and b/Binaries/System.Compiler.Framework.Contracts.dll differ diff --git a/Binaries/System.Compiler.Framework.dll b/Binaries/System.Compiler.Framework.dll new file mode 100644 index 00000000..0c891dd0 Binary files /dev/null and b/Binaries/System.Compiler.Framework.dll differ diff --git a/Binaries/System.Compiler.Framework.pdb b/Binaries/System.Compiler.Framework.pdb new file mode 100644 index 00000000..7e580bd1 Binary files /dev/null and b/Binaries/System.Compiler.Framework.pdb differ diff --git a/Binaries/System.Compiler.dll b/Binaries/System.Compiler.dll new file mode 100644 index 00000000..645853a1 Binary files /dev/null and b/Binaries/System.Compiler.dll differ diff --git a/Binaries/System.Compiler.pdb b/Binaries/System.Compiler.pdb new file mode 100644 index 00000000..328e2aa4 Binary files /dev/null and b/Binaries/System.Compiler.pdb differ diff --git a/Binaries/System.Contracts.dll b/Binaries/System.Contracts.dll new file mode 100644 index 00000000..ed1ae103 Binary files /dev/null and b/Binaries/System.Contracts.dll differ diff --git a/Binaries/System.Xml.Contracts.dll b/Binaries/System.Xml.Contracts.dll new file mode 100644 index 00000000..1ba5ec57 Binary files /dev/null and b/Binaries/System.Xml.Contracts.dll differ diff --git a/Binaries/microsoft.specsharp.dll b/Binaries/microsoft.specsharp.dll new file mode 100644 index 00000000..b63cc192 Binary files /dev/null and b/Binaries/microsoft.specsharp.dll differ -- cgit v1.2.3