Add all images to compile pdf

.github/workflows/2pdf.yml

@@ -6,7 +6,7 @@ on:
       - main
     # Paths can be used only to trigger actions when you have edited certain files, such as a file within the /docs directory
     paths:
-      - 'rendu/presentation.tex'
+      - 'rendu/**'
      # - 'images/**'
  # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:

rendu/graphs/ex_propagation.dot

@@ -0,0 +1,17 @@
+digraph cfg {
+node [shape = "box"]
+_test_prologue[label = ".test.prologue:\l"]
+_test_prologue -> _test_BB0
+_test_BB0[label = ".test.BB0:\l_3 := 42\l_2 := _3\l"]
+_test_BB0 -> _test_BB1 [label = "_1"]
+_test_BB0 -> _test_BB2 [label = "not _1"]
+_test_BB1[label = ".test.BB1:\l_5 := 3\l_4 := _5\l"]
+_test_BB1 -> _test_BB3
+_test_BB2[label = ".test.BB2:\l_6 := 2\l_4 := _6\l"]
+_test_BB2 -> _test_BB3
+_test_BB3[label = ".test.BB3:\l_7 := _2 + _4\l_0 := _7\l"]
+_test_BB3 -> _test_epilogue
+_test_BB4[label = ".test.BB4:\l"]
+_test_BB4 -> _test_epilogue
+_test_epilogue[label = ".test.epilogue:\l"]
+}

rendu/graphs/ex_propagation_after.dot

@@ -0,0 +1,17 @@
+digraph cfg {
+node [shape = "box"]
+_test_prologue[label = ".test.prologue:\l"]
+_test_prologue -> _test_BB0
+_test_BB0[label = ".test.BB0:\l_3 := 42\l_2 := 42\l"]
+_test_BB0 -> _test_BB1 [label = "_1"]
+_test_BB0 -> _test_BB2 [label = "not _1"]
+_test_BB1[label = ".test.BB1:\l_5 := 3\l_4 := 3\l"]
+_test_BB1 -> _test_BB3
+_test_BB2[label = ".test.BB2:\l_6 := 2\l_4 := 2\l"]
+_test_BB2 -> _test_BB3
+_test_BB3[label = ".test.BB3:\l_7 := 42 + _4\l_0 := _7\l"]
+_test_BB3 -> _test_epilogue
+_test_BB4[label = ".test.BB4:\l"]
+_test_BB4 -> _test_epilogue
+_test_epilogue[label = ".test.epilogue:\l"]
+}

rendu/graphs/fact_no_opti.dot

@@ -0,0 +1,17 @@
+digraph cfg {
+node [shape = "box"]
+_main_prologue[label = ".main.prologue:\l"]
+_main_prologue -> _main_BB0
+_main_BB0[label = ".main.BB0:\l_2 := 10\l_1 := _2\l_4 := 1\l_3 := _4\l"]
+_main_BB0 -> _main_BB1
+_main_BB1[label = ".main.BB1:\l_5 := 0\l_6 := _1 > _5\l"]
+_main_BB1 -> _main_BB2 [label = "_6"]
+_main_BB1 -> _main_BB3 [label = "not _6"]
+_main_BB2[label = ".main.BB2:\l_7 := _3 * _1\l_3 := _7\l_8 := 1\l_9 := _1 - _8\l_1 := _9\l"]
+_main_BB2 -> _main_BB1
+_main_BB3[label = ".main.BB3:\l_0 := _3\l"]
+_main_BB3 -> _main_epilogue
+_main_BB4[label = ".main.BB4:\l"]
+_main_BB4 -> _main_epilogue
+_main_epilogue[label = ".main.epilogue:\l"]
+}