diff options
-rw-r--r-- | main.tex | 2 | ||||
-rw-r--r-- | proof.tex | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -56,7 +56,7 @@ \ANONYMOUStrue \newif\ifCOMMENTS -\COMMENTStrue +\COMMENTSfalse \newcommand{\Comment}[3]{\ifCOMMENTS\textcolor{#1}{{\bf [\![#2:} #3{\bf ]\!]}}\fi} \newcommand\JW[1]{\Comment{red!75!black}{JW}{#1}} \newcommand\YH[1]{\Comment{green!50!blue}{YH}{#1}} @@ -154,7 +154,7 @@ The final lemma we need is that the Verilog we generate is deterministic. This r \begin{table*} \centering - \begin{tabular}{llllll} + \begin{tabular}{lrrrrr} \toprule & \textbf{Coq code} & \textbf{OCaml code} & \textbf{Specifications} & \textbf{Theorems \& Proofs} & \textbf{Total}\\ \midrule |