From a31ef9e1d8cc171201443431664c6945c26fe5b8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 3 Jun 2020 15:49:37 +0100
Subject: Try adding some inferrence rules

---
 main.tex | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index a321c7b..20d415a 100644
--- a/main.tex
+++ b/main.tex
@@ -47,12 +47,10 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 
-%% Some recommended packages.
-\usepackage{booktabs}   %% For formal tables:
-                        %% http://ctan.org/pkg/booktabs
-\usepackage{subcaption} %% For complex figures with subfigures/subcaptions
-                        %% http://ctan.org/pkg/subcaption
-
+\usepackage{amsmath}
+\usepackage{booktabs}
+\usepackage{mathpartir}
+\usepackage{subcaption}
 
 \begin{document}
 
@@ -189,8 +187,14 @@
 
 \section{Introduction}
 
-Text of paper \ldots
+\section{Verilog Semantics}
 
+\begin{align}
+  \label{eq:1}
+  \inferrule[Skip]{ }{\text{stmntrun}\ f\ a\ \text{Vskip}\ a} \\
+  \inferrule[CondTrue]{\text{exprrun}\ f\ \Delta\ c\ vc \\ \text{valToB}\ vc = \text{false} \\
+  \text{stmntrun}\ f\ as0\ stf\ as1}{\text{stmntrun}\ f\ as0\ (\text{Vcond}\ c\ stt\ stf)\ as1}
+\end{align}
 
 %% Acknowledgments
 \begin{acks}                            %% acks environment is optional
-- 
cgit