common.tex

% !TEX root = main.tex
\usepackage{a4wide}
\usepackage{listings}
\usepackage{comment}
\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{amssymb}
\usepackage{url}
\usepackage{hyperref}
\usepackage{float}
\usepackage{lipsum}
\usepackage{caption}
\usepackage{subcaption}
\usepackage{adjustbox}
\usepackage{framed}
\usepackage{multirow}
\usepackage{framed}
\usepackage{enumitem}
\usepackage{epigraph}
\usepackage{wasysym} % \brokenvert
\usepackage{wrapfig}

\usepackage[usenames, dvipsnames]{xcolor}

% commands
%\newcommand{\fullver}{}
\ifdefined\fullver
\newcommand{\iffullver}[2]{#1}
\else
\newcommand{\iffullver}[2]{#2}
\fi

\usepackage{tikz}
\newcommand*\circled[1]{\tikz[baseline=(char.base)]{
            \node[shape=circle,draw,inner sep=2pt] (char) {#1};}}

%\usepackage{titlesec}
 %\titlespacing{\section}{0pt}{*1.2}{*1.2}
 %\titlespacing{\subsection}{0pt}{*1.1}{*1.1}
 %\titlespacing{\subsubsection}{0pt}{*.6}{*.6}
%\titlespacing{\paragraph}{0pt}{*.6}{*.60}
%\titleformat{\paragraph}[runin]{\normalsize\bfseries\scshape}{}{}{}
%Get rid of some extra whitespace in the bibliography
 %\setlength{\bibsep}{0.75pt}
%Get rid of some extra whitespace around float (containing figures)
 %\setlength{\textfloatsep}{4pt plus 0.25pt minus 1pt}
 %\setlength{\intextsep}{4.0pt plus 0.25pt minus .5pt}
 %\setlength{\floatsep}{2pt plus 2pt minus 1pt}
 %\setlength{\abovecaptionskip}{5pt plus 1pt minus 1pt}
% \setlength{\belowcaptionskip}{10pt plus 1pt minus 1pt}
 %\setlength{\parskip}{0pt}

\renewcommand{\epigraphsize}{\footnotesize}
\setlength{\epigraphwidth}{10cm}
%\renewcommand{\epigraphrule}{0pt}

\definecolor{shadecolor}{rgb}{0.92,0.92,0.92}

\hypersetup{
  colorlinks = true, % colours links instead of ugly boxes
  urlcolor = blue, %  colour for external hyperlinks
  linkcolor = black, % colour of internal links
  citecolor = black, % colour of citations
  pdftitle = {A Survey of Symbolic Execution Techniques},
  pdfauthor= {Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi}
}	

%\usepackage{xcolor}
%\newcommand{\myedit}[1]{{\leavevmode\color{red}#1}}
%\newcommand{\mytempedit}[1]{{\leavevmode\color{blue}#1}}
%\newcommand{\myedit}[1]{{\color{red}\underline{#1}}}
%\newcommand{\mytempedit}[1]{{\color{black}#1}}
\newcommand{\mytempedit}[1]{\ignorespaces#1}
\newcommand{\revedit}[1]{{\color{blue}#1}}
\newcommand{\lateredit}[1]{{\color{red}#1}}

%\newcommand{\mytempedit}[1]{{\color{blue}#1}}

%\newcommand{\mytempedit}[1]{{\color{blue}\fontfamily{lmdh}\selectfont #1}}

%\setlength{\parindent}{0pt}
\setlength{\FrameSep}{2pt}
\newcommand{\myparagraph}[1]{\medskip\noindent{\bf\small #1.} }
\newcommand{\myparagraphnoperiod}[1]{\medskip\noindent{\bf\small #1} }

% EDIT TO ENABLE NOTES
\newcommand{\mynote}[1]{\ignorespaces} % TODO
%\newcommand{\mynote}[1]{\marginpar{\raggedleft{\fontfamily{pbk}\selectfont\scriptsize{\em #1}}}}

\newcommand{\stwoe}{\text{S\textsuperscript{2}E}}
\newcommand{\myinput}[1]{\ifdefined\internalrep \input{../#1} \else \input{#1} \fi}
\newcommand{\missing}{\textbf{XXX}}
%\newcommand{\boxedexample}[1]{\vspace{2mm}\noindent\fbox{\parbox{0.98\textwidth}{{\em Example.} #1}}}

\ifdefined\arxivver
\newcommand{\boxedexample}[1]{
\begin{shaded}
\noindent{\bf\small Example.} #1
\end{shaded}
}
\else
\newcommand{\boxedexample}[1]{
%\vspace{-2mm}
\begin{shaded*}
\noindent{\bf\small Example.} #1
\end{shaded*}
%\vspace{-2mm}
}
\fi