The steps necessary to run the compiler on a new set of specs.

diff --git a/Repair/RepairCompiler/compiler-steps.txt b/Repair/RepairCompiler/compiler-steps.txt
new file mode 100755 (executable)
index 0000000..8c321b4
--- /dev/null
+++ b/Repair/RepairCompiler/compiler-steps.txt
@@ -0,0 +1,27 @@
+1. Copy SimpleHash.h and .c to the working directory and add 
+   include "Simplehash.h"
+
+2. Create function 
+   void assertvalidmemory(int low, int high) {
+   }
+       
+3. Create function 
+   void calltool(Type name)
+   * this is equiv to establishing a mapping in the interpreter version
+   * Type should be the type of the variable being mapped      
+   * the name of the formal paremater should be the name of the variable
+     used in the specs
+   * multiple parameters for multiple mappings 
+   * the body of the function should contain only
+     #include "spec-file.cc", 
+     where the files spec-file.* contain the specs 
+
+4. Declare global variables in specs.struct
+
+5. In RepairCompiler/MCC, generate the .cc file:
+   java -cp ../ MCC.Compiler spec-file,
+   where spec-file.* contain the specs
+
+6. Compile the program under analysis
+   g++ program.c SimpleHash.cc libchecker.a -o program
+ 
\ No newline at end of file