From 0801e732369519545d0a9d862b71a6c2df8c5adf Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <cnx@loang.net>
Date: Thu, 23 Nov 2023 13:43:10 +0900
Subject: Prettify

---
 all.tex | 25 +++++++++++++++++++------
 1 file changed, 19 insertions(+), 6 deletions(-)

(limited to 'all.tex')

diff --git a/all.tex b/all.tex
index ba7aeed..bc39715 100644
--- a/all.tex
+++ b/all.tex
@@ -1,24 +1,29 @@
 \documentclass[11pt, a4paper, onecolumn, oneside]{report}
 \usepackage[vietnamese,english]{babel}
+\usepackage[hidelinks]{hyperref}
 \usepackage{mathptmx}
 \RequirePackage[top=3cm, bottom=1in, left=1in, right=1in]{geometry}
 \linespread{1.3}
 
 \usepackage{algorithm}
-\usepackage{algpseudocode}
+\usepackage[noend]{algpseudocode}
+\usepackage{alltt}
 \usepackage{amsmath}
 \usepackage{amssymb}
 \usepackage{booktabs}
 \usepackage{caption}
 \usepackage{cases}
 \usepackage{cite}
+\usepackage{enumitem}
 \usepackage{fancyhdr}
-\usepackage{glossaries}
 \usepackage{graphicx}
-\usepackage[hidelinks]{hyperref}
+\usepackage{glossaries}
 \usepackage{pdfpages}
+\usepackage[skip=-1ex]{subcaption}
 \usepackage{tikz}
 \usepackage{tocloft}
+\usepackage{varwidth}
+\usepackage{xcolor}
 
 \usetikzlibrary{arrows}
 \usetikzlibrary{decorations.pathmorphing}
@@ -34,6 +39,9 @@
 \renewcommand{\thesection}{\Roman{section}}
 \renewcommand{\thesubsection}{\arabic{section}.\arabic{subsection}}
 \renewcommand{\thefigure}{\arabic{figure}}
+\renewcommand{\thefootnote}{\fnsymbol{footnote}}
+\renewcommand{\algorithmicrequire}{\textbf{Input:}}
+\renewcommand{\algorithmicensure}{\textbf{Output:}}
 \newcommand{\qed}{\hfill\blacksquare}
 
 \newcounter{lemma}
@@ -45,13 +53,17 @@
 \newtheorem{theorem}{\bf Theorem}
 \newtheorem{proof}{\bf Proof}
 \DeclareMathOperator*{\argmax}{arg\,max}
+\DeclareCaptionLabelFormat{none}{\!}
 
 \newcommand{\name}{Symbolic Execution Groundwork\\
-                   for Differential Testing of Patch Pools}
+                   for Distinguishing Automatically Generated Patches}
 \newcommand{\cnx}{\foreignlanguage{vietnamese}{Nguyễn Gia Phong}}
 \newcommand{\cse}{Department of Computer Science and Engineering}
 \newcommand{\unist}{Ulsan National Institute of Science and Technology}
+\newcommand{\klee}{\textsc{klee}}
+\newcommand{\psychic}{\textsc{Psychic}}
 \newcommand{\blankpage}{\hbox{}\thispagestyle{empty}\clearpage}
+\newcommand{\doi}[1]{\href{https://oadoi.org/#1}{doi:#1}}
 
 \fancyhf{}
 \renewcommand{\headrulewidth}{0pt}
@@ -83,10 +95,11 @@
 \thispagestyle{empty}
 \clearpage
 \renewcommand{\listfigurename}{\hfill\Large List of Figures\hfill}
-\listoffigures{}
+{\captionsetup{subrefformat=none}\listoffigures{}}
 \thispagestyle{empty}
 \clearpage
-\renewcommand{\glossaryname}{\hfill\Large Technical Terms\hfill\hfill}
+\renewcommand{\glossaryname}{\hfill\Large Technical Terms
+                             and Abbreviations\hfill\hfill}
 \printnoidxglossaries
 \thispagestyle{empty}
 \clearpage
-- 
cgit 1.4.1