Commit f4af67b0 authored by Jules Saget's avatar Jules Saget
Browse files

Initial commit

parents
# Source: https://gist.github.com/kogakure/149016
*.aux
*.glo
*.idx
*.log
*.toc
*.ist
*.acn
*.acr
*.alg
*.bbl
*.blg
*.dvi
*.glg
*.gls
*.ilg
*.ind
*.lof
*.lot
*.maf
*.mtc
*.mtc1
*.out
*.synctex.gz
#
# To build my report, just run `make`
# By Markus Kuhn: https://stackoverflow.com/questions/12343428/latex-reference-and-makefile
#
.DELETE_ON_ERROR:
.DEFAULT_GOAL := rapport.pdf
%.pdf %.aux %.idx: %.tex
pdflatex $<
while grep 'Rerun to get ' $*.log ; do pdflatex $< ; done
M1 Internship report
--------------------
To make, just run `make`
File added
\documentclass[a4paper,12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[british]{babel}
\usepackage{amsmath,amssymb}
\usepackage{graphicx}
\usepackage[colorinlistoftodos]{todonotes}
\usepackage{url}
\usepackage{hyperref}
\usepackage{array}
\usepackage{tabularx}
\usepackage{setspace}
\usepackage{abstract}
\usepackage[top=2cm,bottom=2cm,left=2cm,right=2cm]{geometry}
\usepackage{subfig}
%\usepackage[
% backend = biber,
% style = alphabetic,
% sorting = nyt,
% maxbibnames = 99,
% maxcitenames = 3,
% autolang = other,
% hyperref = true,
% backref = true,
% arxiv = abs,
%]{biblatex}
%
%\addbibresource{ref.bib}
\usepackage[nottoc, notlof, notlot]{tocbibind}
\usepackage{nameref}
\makeatletter
\newcommand*{\currentname}{\@currentlabelname}
\makeatother
\usepackage{fancyhdr}
\fancyhead{}
\fancyfoot{}
\lhead{Satifiability Modulo Theories on Floating Point Arithmetic}
\rhead{\thepage}
\begin{document}
\pagenumbering{roman}
\thispagestyle{empty}
\input{title}
\newpage
\thispagestyle{empty}
\tableofcontents
\listoffigures
\listoftables
\newpage
\pagestyle{fancy}
\pagenumbering{arabic}
\setcounter{page}{1}
\section{Introduction}
Lorem ipsum dolor sit amet\cite{Seg20}.
\nocite{*}
\bibliographystyle{plain}
\bibliography{ref}
\end{document}
@BOOK{Pey87,
author = "Peyton Jones, Simon",
title = "The Implementation of Functional Programming Languages",
series = "Prentice-Hall International Series in Computer Science",
chapter = "16",
isbn = "0-13-453333-X",
year = 1987,
month = 1,
publisher = "Prentice Hall",
url = {https://www.microsoft.com/en-us/research/uploads/prod/1987/01/slpj-book-1987-r90.pdf},
keywords = "KSI",
}
@BOOK{Man93,
author = {Mano, M. Morris},
title = {Computer System Architecture (3rd Ed.)},
year = {1993},
isbn = {0-13-175563-3},
publisher = "Prentice-Hall",
}
@MANUAL{Seg20,
author = "Seger, Carl-Johan H.",
title = "fl --- A Functional Language for Formal Verification: User's Guide",
year = 2020,
month = 2,
url = {https://github.com/TeamVoss/VossII/blob/master/doc/fl_guide.pdf},
}
@ARTICLE{KL89,
author = "Koopman, Philip and Lee, Peter",
title = "A fresh look at combinator graph reduction",
year = 1989,
month = 7,
pages = {110-119},
volume = 24,
isbn = {0-89791-306-X},
journal = "ACM SIGPLAN Notices",
doi = {10.1145/74818.74828}
}
\newcommand{\mail}[1]{\href{mailto:#1}{#1}}
\def\referee{
Carl-Johan Seger\\
Octopi Team\\
Chalmers tekniska högskola\\
Göteborg, Sweden\\
\mail{secarl@chalmers.se}\\
}
\newcommand{\HRule}[1]{\rule{\linewidth}{#1}}
\makeatletter
\def\printtitle{
{\centering \@title\par}}
\makeatother
\makeatletter
\def\printauthor{
{\centering \large \@author}}
\makeatother
\makeatletter
\def\printreferee{
{\centering \emph{Under the direction of}\\
\large \referee}}
\makeatother
\title{ \normalsize \textsc{École Normale Supérieure\\
Département d'Informatique\\
Stage de M1}
\\[2.0cm]
\HRule{0.5pt} \\
\LARGE \textbf{\uppercase{Design of execution unit in IoT functional
language processor}} \\
\Large \uppercase{Internship Report}
\HRule{2pt} \\[0.5cm]
\normalsize June-August 2018
}
\author{
Jules Saget\\
École Normale Supérieure\\
Département d'Informatique\\
\mail{jules.saget@ens.fr}\\
}
\printtitle
\vfill
\printauthor
\vfill
\printreferee
\newpage
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment