#18 Combine storage and memory dependencies into single field for new…

… greedy version
costa-group · Dec 6, 2024 · fd33196 · fd33196
1 parent 27842a5
commit fd33196
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/parser/cfg_block.py b/src/parser/cfg_block.py
@@ -644,6 +644,7 @@ def build_spec(self, initial_stack: List[str], final_stack: List[str]) -> Dict[s
         sto_deps, mem_deps = self._process_dependences(self.instructions_to_synthesize, map_positions)
         spec["storage_dependences"] = sto_deps
         spec["memory_dependences"] = mem_deps
+        spec["dependencies"] = [*sto_deps, *mem_deps]
 
         # Just to print information if it is not a jump
         if not self._jump_type in ["conditional", "unconditional"]: