From 7c3b1b2f36be7406df0434836e4ef32c8075b15a Mon Sep 17 00:00:00 2001 From: ben Date: Sun, 13 Mar 2016 01:50:16 -0500 Subject: [PATCH] [icfp] add implementation stats --- icfp-2016/Makefile | 2 +- icfp-2016/fig-stats.tex | 16 ++++++++++++++++ icfp-2016/paper.scrbl | 1 - 3 files changed, 17 insertions(+), 2 deletions(-) create mode 100644 icfp-2016/fig-stats.tex diff --git a/icfp-2016/Makefile b/icfp-2016/Makefile index fd54d1c..d9dfca4 100644 --- a/icfp-2016/Makefile +++ b/icfp-2016/Makefile @@ -6,7 +6,7 @@ compiled/paper_scrbl.zo: *.rkt *.scrbl raco make -v $(PAPER).scrbl paper.pdf: pkg compiled/paper_scrbl.zo texstyle.tex - scribble ++extra fig-staging.tex ++style texstyle.tex --pdf $(PAPER).scrbl + scribble ++extra fig-stats.tex ++extra fig-staging.tex ++style texstyle.tex --pdf $(PAPER).scrbl paper.tex: pkg compiled/paper_scrbl.zo texstyle.tex scribble ++style texstyle.tex --latex $(PAPER).scrbl diff --git a/icfp-2016/fig-stats.tex b/icfp-2016/fig-stats.tex new file mode 100644 index 0000000..1cfd3ea --- /dev/null +++ b/icfp-2016/fig-stats.tex @@ -0,0 +1,16 @@ +\newcommand{\twoline}[2]{\parbox[s]{1.44cm}{\flushright\hfill #1\newline#2}} +\newcommand{\mod}[1]{$\mathsf{#1}$} +\begin{tabular}{l r r r} + Module & LOC & $\interp$ & $\trans$ \\\hline + \mod{db} & 263 & 2 (78) & 2 (101) \\ + \mod{format} & 66 & 1 (33) & 1 (21) \\ + \mod{function} & 31 & 1 (8) & 1 (11) \\ + \mod{math} & 90 & 1 (3) & 5 (46) \\ + \mod{regexp} & 122 & 4 (60) & 5 (33) \\ + \mod{vector} & 228 & 1 (19) & 13 (163) \\\hline + {\bf Total} & 800 & 10 (201) & 27 (375) \\ +\end{tabular} +%% AVG +% loc : 228.5 +% int : 33.5 +% trn : 62.5 diff --git a/icfp-2016/paper.scrbl b/icfp-2016/paper.scrbl index 3b1bc4e..4d30209 100644 --- a/icfp-2016/paper.scrbl +++ b/icfp-2016/paper.scrbl @@ -40,7 +40,6 @@ @include-section{usage.scrbl} @include-section{experience.scrbl} @; Merge with usage? @include-section{implementation.scrbl} -@;@include-section{correctness.scrbl} @;@include-section{related.scrbl} @;@include-section{conclusion.scrbl}