deletions | additions       diff --git a/intro.tex b/intro.tex  index 0f00831..b40c701 100644  --- a/intro.tex  +++ b/intro.tex 
...
\item Hiding from the front-end that generates the different optimized versions of a function all the implementation details of how on-the-fly transitions between them are handled at specific OSR points.  \end{itemize}  \noindent We implemented the proposed approach in \osrkit, \osrkit\footnote{\osrkit\ is available at \url{https://github.com/dcdelia/tinyvm}.},  a prototype library for LLVM IR manipulation based on MCJIT with the following design goals: \begin{itemize}  \item Encoding OSR transitions in terms of pure IR code only, avoiding manipulations at machine-code level.  \item Incurring a minimal level of intrusiveness in terms of both the instrumentation of the code generated by the front-end and the impact of OSR points on native code quality.