add scripting README

opencompl · Sep 14, 2023 · d26e1a5 · d26e1a5
1 parent 5658813
commit d26e1a5
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/SSA/Projects/InstCombine/README.md b/SSA/Projects/InstCombine/README.md
@@ -0,0 +1,7 @@
+# Post-processing
+
+1. Run alive script in `/related-work/alive/alive/1-....py`
+2. Run `./splitandprocess.py`
+3. Run `extract_alive_statements.sh`.
+4. Celebrate!
+