svg images for the algorithms

appendix.md

@@ -5,8 +5,34 @@ title: Appendix A
 
 # Original IDE Algorithm
 
-<object data="appendix.pdf" width="100%" height="1000px"></object>
+Here, we provide a copy of the pseudocode of the original IDE algorithm [[21]](#references) that is relevant to our work.
 
+<!-- <object data="appendix.pdf" width="100%" height="1000px"></object> -->
+
+<!-- ![appendix1](appendix-1.svg) -->
+## Phase I
+
+A shortened version of the *ForwardComputeJumpFunctionsSLRPs* procedure from phase I of the original IDE algorithm [[21]](#references).
+
+![forward compute jumpfunctions SLRPs](img/fcjfslrps-1.svg)
+
+### Propagate
+
+The *Propagate* procedure from the original IDE algorithm [[21]](#references).
+
+![propagate](img/propagate-alg-1.svg)
+
+## Phase II
+
+Phase II (value propagation and value computation) of the original IDE algorithm [[21]](#references).
+
+![phase-II](img/phase2-1.svg)
+
+### Propagate Value
+
+The *PropagateValue* procedure from the original IDE algorithm [[21]](#references).
+
+![propagate-value](img/prop-value-1.svg)
 
 ## References