Adding readme files

diff --git a/Repair/RepairCompiler/MCC/README b/Repair/RepairCompiler/MCC/README
new file mode 100755 (executable)
index 0000000..2a6dbff
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/README
@@ -0,0 +1,41 @@
+Note:  The compiler requires jdk version 1.4 or later.
+
+1. Building the compiler
+---------------------------------------------------------------------
+To build the compiler:
+cd MCC
+make
+
+2. Compiling the filesystem example:
+---------------------------------------------------------------------
+A. First compile the specification checker:
+
+cd MCC
+java -cp .. MCC.Compiler -aggressivesearch -prunequantifiernodes specs/filesystem/test3
+
+B. Next move files to the runtime directory:
+
+cp size.* Runtime
+cp specs/filesystem/test3_aux.* Runtime
+cp specs/filesystem/test3.cc Runtime
+
+C. Next build the runtime:
+
+cd Runtime
+mkdir specs
+cd specs
+ln -s .. filesystem
+cd ..
+./buildruntime
+g++ -O9 -c test3_aux.cc
+g++ -O9 danfile.cc *.o -o danfile
+
+D. To run:
+
+./danfile 0 (create filesystem)
+
+./danfile 1 (write file to filesytem, interrupt with ctrl-C to
+introduce an error)
+
+./danfile x (check & repair filesystem)
+

diff --git a/Repair/RepairCompiler/README b/Repair/RepairCompiler/README
new file mode 100755 (executable)
index 0000000..07f782e
--- /dev/null
+++ b/Repair/RepairCompiler/README
@@ -0,0 +1,2 @@
+MCC - compiler directory
+structextract - structure extractor directory
\ No newline at end of file

diff --git a/Repair/RepairCompiler/structextract/README b/Repair/RepairCompiler/structextract/README
new file mode 100755 (executable)
index 0000000..d28825e
--- /dev/null
+++ b/Repair/RepairCompiler/structextract/README
@@ -0,0 +1,7 @@
+Structure extractor
+
+To build type ./build
+
+To run, build a binary with dwarf-2 debug information (for gcc, add the -gdwarf-2 flag).
+
+Then run ./structextract binaryfilename