From 823f6d6712d13972f637af57bac318023bd71e1e Mon Sep 17 00:00:00 2001
From: cristic <cristic>
Date: Wed, 14 Apr 2004 19:16:27 +0000
Subject: [PATCH] The steps necessary to run the compiler on a new set of
 specs.

---
 Repair/RepairCompiler/compiler-steps.txt | 27 ++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100755 Repair/RepairCompiler/compiler-steps.txt

diff --git a/Repair/RepairCompiler/compiler-steps.txt b/Repair/RepairCompiler/compiler-steps.txt
new file mode 100755
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
-- 
2.34.1