Add graph to first slide

saulshanabrook · saulshanabrook · commit e2bf1847c5bf · 2023-06-18T07:47:27.000-04:00
diff --git a/docs/conf.py b/docs/conf.py
@@ -18,6 +18,8 @@
         "slides",
         "--output-dir",
         str(output_dir),
+        "--TagRemovePreprocessor.remove_input_tags",
+        "remove-input",
     ],
     check=True,
 )
diff --git a/docs/explanation/.gitignore b/docs/explanation/.gitignore
@@ -0,0 +1 @@
+big_graph*
diff --git a/docs/explanation/pldi_2023_presentation.ipynb b/docs/explanation/pldi_2023_presentation.ipynb

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,8 @@`
`18`	`18`	`"slides",`
`19`	`19`	`"--output-dir",`
`20`	`20`	`str(output_dir),`
	`21`	`+ "--TagRemovePreprocessor.remove_input_tags",`
	`22`	`+ "remove-input",`
`21`	`23`	`],`
`22`	`24`	`check=True,`
`23`	`25`	`)`