--- a/Slides/data.sty Tue Jun 14 12:05:00 2016 +0100
+++ b/Slides/data.sty Tue Jun 14 12:17:42 2016 +0100
@@ -1,6 +1,6 @@
% The data files, written on the first run.
-\begin{filecontents}{re-python.data}
+\begin{filecontents}{data/re-python.data}
1 0.029
5 0.029
10 0.029
@@ -21,7 +21,7 @@
#29 58.886
\end{filecontents}
-\begin{filecontents}{re-ruby.data}
+\begin{filecontents}{data/re-ruby.data}
1 0.00006
#2 0.00003
#3 0.00001
@@ -53,7 +53,7 @@
\end{filecontents}
-\begin{filecontents}{re1.data}
+\begin{filecontents}{data/re1.data}
1 0.00179
2 0.00011
3 0.00014
@@ -77,7 +77,7 @@
21 21.46013
\end{filecontents}
-\begin{filecontents}{re2a.data}
+\begin{filecontents}{data/re2a.data}
1 0.00227
5 0.00027
10 0.00075
@@ -95,7 +95,7 @@
70 0.00170
\end{filecontents}
-\begin{filecontents}{re2b.data}
+\begin{filecontents}{data/re2b.data}
1 0.00020
51 0.00080
101 0.00678
@@ -118,7 +118,7 @@
951 31.96038
\end{filecontents}
-\begin{filecontents}{re3.data}
+\begin{filecontents}{data/re3.data}
1 0.001605
501 0.131066
1001 0.057885
@@ -145,141 +145,3 @@
11501 7.95864
\end{filecontents}
-
-\begin{filecontents}{nfa.data}
-0 0.00099
-5 0.01304
-10 0.05350
-15 0.10152
-20 0.10876
-25 0.06984
-30 0.09693
-35 0.04805
-40 0.07512
-45 0.07624
-50 0.10451
-55 0.13285
-60 0.15748
-65 0.19982
-70 0.24075
-75 0.28963
-80 0.35734
-85 0.43735
-90 0.49692
-95 0.59551
-100 0.72236
-\end{filecontents}
-
-\begin{filecontents}{nfasearch.data}
-0 0.00009
-1 0.00147
-2 0.00030
-3 0.00062
-4 0.00132
-5 0.00177
-6 0.00487
-7 0.00947
-8 0.01757
-9 0.02050
-10 0.02091
-11 0.04002
-12 0.08662
-13 0.17269
-14 0.37255
-15 0.81935
-16 1.76254
-17 3.89442
-18 8.42263
-19 17.89661
-20 38.21481
-\end{filecontents}
-
-\begin{filecontents}{compiled.data}
-%1 0.234146
-%5000 0.227539
-%10000 0.280748
-50000 1.087897
-100000 3.713165
-250000 21.6624545
-500000 85.872613
-750000 203.6408015
-1000000 345.736574
-\end{filecontents}
-
-\begin{filecontents}{interpreted.data}
-%1 0.00503
-200 1.005863
-400 7.8296765
-500 15.43106
-600 27.2321885
-800 65.249271
-1000 135.4493445
-1200 232.134097
-1400 382.527227
-\end{filecontents}
-
-\begin{filecontents}{interpreted2.data}
-%1 0.00503
-200 1.005863
-400 7.8296765
-600 27.2321885
-800 65.249271
-1000 135.4493445
-1200 232.134097
-1400 382.527227
-\end{filecontents}
-
-\begin{filecontents}{compiled2.data}
-200 0.222058
-400 0.215204
-600 0.202031
-800 0.21986
-1000 0.205934
-1200 0.1981615
-1400 0.207116
-\end{filecontents}
-
-
-\begin{filecontents}{s-grammar1.data}
-1 0.01152
-51 0.07973
-101 0.09726
-151 0.09320
-201 0.10010
-251 0.16997
-301 0.26662
-351 0.46118
-401 0.62516
-451 0.87247
-501 1.16334
-551 1.71152
-601 2.10958
-651 2.44360
-701 2.98488
-751 3.50326
-801 4.11036
-851 4.93394
-901 5.77465
-951 7.39123
-\end{filecontents}
-
-\begin{filecontents}{s-grammar2.data}
-1 0.01280
-2 0.00064
-3 0.00173
-4 0.00355
-5 0.00965
-6 0.02674
-7 0.06953
-8 0.11166
-9 0.18707
-10 0.09189
-11 0.12724
-12 0.24337
-13 0.59304
-14 1.53594
-15 4.01195
-16 10.73582
-17 29.51587
-#18 73.14163
-\end{filecontents}
Binary file Slides/pics/andrewpitts.jpg has changed
Binary file Slides/pics/appel.jpg has changed
Binary file Slides/pics/barendregt.jpg has changed
Binary file Slides/pics/harper.jpg has changed
Binary file Slides/pics/icosahedron.png has changed
Binary file Slides/pics/isabelle.png has changed
Binary file Slides/pics/msbug.png has changed
Binary file Slides/pics/p1.jpg has changed
Binary file Slides/pics/p2.jpg has changed
Binary file Slides/pics/p3.jpg has changed
Binary file Slides/pics/p4.jpg has changed
Binary file Slides/pics/p5.jpg has changed
Binary file Slides/pics/pfenning.jpg has changed
Binary file Slides/pics/roy.jpg has changed
Binary file Slides/pics/sel4callgraph.jpg has changed
Binary file Slides/pics/skeleton.jpg has changed
Binary file Slides/pics/smiley.jpg has changed
Binary file Slides/pics/sulzmann.jpg has changed
Binary file Slides/slides01.pdf has changed
--- a/Slides/slides01.tex Tue Jun 14 12:05:00 2016 +0100
+++ b/Slides/slides01.tex Tue Jun 14 12:17:42 2016 +0100
@@ -106,9 +106,9 @@
legend cell align=left
]
\addplot[blue,mark=*, mark options={fill=white}]
- table {re-python.data};
+ table {data/re-python.data};
\addplot[brown,mark=pentagon*, mark options={fill=white}]
- table {re-ruby.data};
+ table {data/re-ruby.data};
\end{axis}
\end{tikzpicture}
\end{center}
@@ -1024,13 +1024,13 @@
legend cell align=left
]
\addplot[blue,mark=*, mark options={fill=white}]
- table {re-python.data};
+ table {data/re-python.data};
\addplot[brown,mark=pentagon*, mark options={fill=white}]
- table {re-ruby.data};
+ table {data/re-ruby.data};
\addplot[red,mark=triangle*,mark options={fill=white}]
- table {re1.data};
+ table {data/re1.data};
\addplot[green,mark=square*,mark options={fill=white}]
- table {re2b.data};
+ table {data/re2b.data};
\end{axis}
\end{tikzpicture}
\end{center}
@@ -1057,8 +1057,8 @@
width=9cm,
height=7cm
]
-\addplot[green,mark=square*,mark options={fill=white}] table {re2b.data};
-\addplot[black,mark=square*,mark options={fill=white}] table {re3.data};
+\addplot[green,mark=square*,mark options={fill=white}] table {data/re2b.data};
+\addplot[black,mark=square*,mark options={fill=white}] table {data/re3.data};
\end{axis}
\end{tikzpicture}
\end{center}
Binary file Slides/slides02.pdf has changed
