\setlength{\parindent}{1em}
\title{Formal Semantics of the LLVM IR}
\author{David Lazar and Chucky Ellison (\texttt{\{lazar6,celliso2\}@illinois.edu})}
\organization{University of Illinois at Urbana-Champaign}

\maketitle

\setlength{\parindent}{8em}
% FIXME use dragon-vector.pdf for printing/high-quality
% some versions of acrobat reader break when using the vector :\
\includegraphics[width=0.14\textwidth]{latex/dragon.pdf}
\setlength{\parindent}{1em}

\begin{kblock}[text]
\section{Abstract}
This is the \K semantic definition of the LLVM assembly language (also known as the LLVM intermediate representation, or LLVM IR for short).
We aim to completely define the LLVM IR version 3.0+.
\textcolor{red}{This is a work-in-progress.}
\end{kblock}

\setlength{\parindent}{1em}
\title{Formal Semantics of the LLVM IR}
\author{David Lazar and Chucky Ellison (\texttt{\{lazar6,celliso2\}@illinois.edu})}
\organization{University of Illinois at Urbana-Champaign}

\maketitle

\setlength{\parindent}{8em}
% FIXME use dragon-vector.pdf for printing/high-quality
% some versions of acrobat reader break when using the vector :\
\includegraphics[scale=0.27]{latex/dragon.pdf}
\setlength{\parindent}{1em}

\begin{kblock}[text]
\section{Abstract}
This is the \K semantic definition of the LLVM assembly language (also known as the LLVM intermediate representation, or LLVM IR for short).
We aim to completely define the LLVM IR version 3.0+.
\textcolor{red}{This is a work-in-progress.}
\end{kblock}

Make the size of the dragon independent of the text width.
Make the size of the dragon independent of the text width.
