From 75cdf16714372ec03f1697450c135acdd3df9db3 Mon Sep 17 00:00:00 2001 From: rustanleino Date: Tue, 29 Sep 2009 06:39:10 +0000 Subject: Fixed some bugs in the generation of bitvector input for Z3. Deleted/ignored some binaries in the Binaries directory. --- 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 615936 -> 0 bytes Binaries/Mscorlib.Contracts.dll | Bin 884736 -> 0 bytes Binaries/System.Compiler.Contracts.dll | Bin 57344 -> 0 bytes Binaries/System.Compiler.Framework.Contracts.dll | Bin 16384 -> 0 bytes Binaries/System.Compiler.Framework.dll | Bin 1187840 -> 0 bytes Binaries/System.Compiler.Framework.pdb | Bin 2569728 -> 0 bytes Binaries/System.Compiler.dll | Bin 872448 -> 0 bytes Binaries/System.Compiler.pdb | Bin 2270720 -> 0 bytes Binaries/System.Contracts.dll | Bin 237568 -> 0 bytes Binaries/System.Xml.Contracts.dll | Bin 20480 -> 0 bytes Binaries/microsoft.specsharp.dll | Bin 491520 -> 0 bytes 22 files changed, 11 deletions(-) delete mode 100644 Binaries/..svnbridge/Microsoft.SpecSharp.pdb delete mode 100644 Binaries/..svnbridge/Mscorlib.Contracts.dll delete mode 100644 Binaries/..svnbridge/System.Compiler.Contracts.dll delete mode 100644 Binaries/..svnbridge/System.Compiler.Framework.Contracts.dll delete mode 100644 Binaries/..svnbridge/System.Compiler.Framework.dll delete mode 100644 Binaries/..svnbridge/System.Compiler.Framework.pdb delete mode 100644 Binaries/..svnbridge/System.Compiler.dll delete mode 100644 Binaries/..svnbridge/System.Compiler.pdb delete mode 100644 Binaries/..svnbridge/System.Contracts.dll delete mode 100644 Binaries/..svnbridge/System.Xml.Contracts.dll delete mode 100644 Binaries/..svnbridge/microsoft.specsharp.dll delete mode 100644 Binaries/Microsoft.SpecSharp.pdb delete mode 100644 Binaries/Mscorlib.Contracts.dll delete mode 100644 Binaries/System.Compiler.Contracts.dll delete mode 100644 Binaries/System.Compiler.Framework.Contracts.dll delete mode 100644 Binaries/System.Compiler.Framework.dll delete mode 100644 Binaries/System.Compiler.Framework.pdb delete mode 100644 Binaries/System.Compiler.dll delete mode 100644 Binaries/System.Compiler.pdb delete mode 100644 Binaries/System.Contracts.dll delete mode 100644 Binaries/System.Xml.Contracts.dll delete mode 100644 Binaries/microsoft.specsharp.dll (limited to 'Binaries') diff --git a/Binaries/..svnbridge/Microsoft.SpecSharp.pdb b/Binaries/..svnbridge/Microsoft.SpecSharp.pdb deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/Microsoft.SpecSharp.pdb +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/Mscorlib.Contracts.dll +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/System.Compiler.Contracts.dll +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/System.Compiler.Framework.Contracts.dll +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/System.Compiler.Framework.dll +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/System.Compiler.Framework.pdb +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/System.Compiler.dll +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/System.Compiler.pdb +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/System.Contracts.dll +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/System.Xml.Contracts.dll +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 08149303..00000000 --- a/Binaries/..svnbridge/microsoft.specsharp.dll +++ /dev/null @@ -1 +0,0 @@ -svn:mime-typeapplication/octet-stream \ No newline at end of file diff --git a/Binaries/Microsoft.SpecSharp.pdb b/Binaries/Microsoft.SpecSharp.pdb deleted file mode 100644 index 9fa6f932..00000000 Binary files a/Binaries/Microsoft.SpecSharp.pdb and /dev/null differ diff --git a/Binaries/Mscorlib.Contracts.dll b/Binaries/Mscorlib.Contracts.dll deleted file mode 100644 index b0aeeb5f..00000000 Binary files a/Binaries/Mscorlib.Contracts.dll and /dev/null differ diff --git a/Binaries/System.Compiler.Contracts.dll b/Binaries/System.Compiler.Contracts.dll deleted file mode 100644 index 6a573ef8..00000000 Binary files a/Binaries/System.Compiler.Contracts.dll and /dev/null differ diff --git a/Binaries/System.Compiler.Framework.Contracts.dll b/Binaries/System.Compiler.Framework.Contracts.dll deleted file mode 100644 index 50726f3e..00000000 Binary files a/Binaries/System.Compiler.Framework.Contracts.dll and /dev/null differ diff --git a/Binaries/System.Compiler.Framework.dll b/Binaries/System.Compiler.Framework.dll deleted file mode 100644 index 0c891dd0..00000000 Binary files a/Binaries/System.Compiler.Framework.dll and /dev/null differ diff --git a/Binaries/System.Compiler.Framework.pdb b/Binaries/System.Compiler.Framework.pdb deleted file mode 100644 index 7e580bd1..00000000 Binary files a/Binaries/System.Compiler.Framework.pdb and /dev/null differ diff --git a/Binaries/System.Compiler.dll b/Binaries/System.Compiler.dll deleted file mode 100644 index 645853a1..00000000 Binary files a/Binaries/System.Compiler.dll and /dev/null differ diff --git a/Binaries/System.Compiler.pdb b/Binaries/System.Compiler.pdb deleted file mode 100644 index 328e2aa4..00000000 Binary files a/Binaries/System.Compiler.pdb and /dev/null differ diff --git a/Binaries/System.Contracts.dll b/Binaries/System.Contracts.dll deleted file mode 100644 index ed1ae103..00000000 Binary files a/Binaries/System.Contracts.dll and /dev/null differ diff --git a/Binaries/System.Xml.Contracts.dll b/Binaries/System.Xml.Contracts.dll deleted file mode 100644 index 1ba5ec57..00000000 Binary files a/Binaries/System.Xml.Contracts.dll and /dev/null differ diff --git a/Binaries/microsoft.specsharp.dll b/Binaries/microsoft.specsharp.dll deleted file mode 100644 index b63cc192..00000000 Binary files a/Binaries/microsoft.specsharp.dll and /dev/null differ -- cgit v1.2.3