From f2e52c7397d20610f5439ca5735c15ea2d8dcd6b Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 26 Jul 2022 08:10:11 +0100 Subject: Add initial files --- .gitignore | 307 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ env.tex | 41 +++++++++ main.tex | 17 ++++ 3 files changed, 365 insertions(+) create mode 100644 .gitignore create mode 100644 env.tex create mode 100644 main.tex diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..2999112 --- /dev/null +++ b/.gitignore @@ -0,0 +1,307 @@ +## Core latex/pdflatex auxiliary files: +*.aux +*.lof +*.log +*.lot +*.fls +*.out +*.toc +*.fmt +*.fot +*.cb +*.cb2 +.*.lb + +## Intermediate documents: +*.dvi +*.xdv +*-converted-to.* +# these rules might exclude image files for figures etc. +# *.ps +# *.eps +# *.pdf + +## Generated if empty string is given at "Please type another file name for output:" +.pdf + +## Bibliography auxiliary files (bibtex/biblatex/biber): +*.bbl +*.bcf +*.blg +*-blx.aux +*-blx.bib +*.run.xml + +## Build tool auxiliary files: +*.fdb_latexmk +*.synctex +*.synctex(busy) +*.synctex.gz +*.synctex.gz(busy) +*.pdfsync + +## Build tool directories for auxiliary files +# latexrun +latex.out/ + +## Auxiliary and intermediate files from other packages: +# algorithms +*.alg +*.loa + +# achemso +acs-*.bib + +# amsthm +*.thm + +# beamer +*.nav +*.pre +*.snm +*.vrb + +# changes +*.soc + +# comment +*.cut + +# cprotect +*.cpt + +# elsarticle (documentclass of Elsevier journals) +*.spl + +# endnotes +*.ent + +# fixme +*.lox + +# feynmf/feynmp +*.mf +*.mp +*.t[1-9] +*.t[1-9][0-9] +*.tfm + +#(r)(e)ledmac/(r)(e)ledpar +*.end +*.?end +*.[1-9] +*.[1-9][0-9] +*.[1-9][0-9][0-9] +*.[1-9]R +*.[1-9][0-9]R +*.[1-9][0-9][0-9]R +*.eledsec[1-9] +*.eledsec[1-9]R +*.eledsec[1-9][0-9] +*.eledsec[1-9][0-9]R +*.eledsec[1-9][0-9][0-9] +*.eledsec[1-9][0-9][0-9]R + +# glossaries +*.acn +*.acr +*.glg +*.glo +*.gls +*.glsdefs +*.lzo +*.lzs +*.slg +*.slo +*.sls + +# uncomment this for glossaries-extra (will ignore makeindex's style files!) +# *.ist + +# gnuplot +*.gnuplot +*.table + +# gnuplottex +*-gnuplottex-* + +# gregoriotex +*.gaux +*.glog +*.gtex + +# htlatex +*.4ct +*.4tc +*.idv +*.lg +*.trc +*.xref + +# hyperref +*.brf + +# knitr +*-concordance.tex +# TODO Uncomment the next line if you use knitr and want to ignore its generated tikz files +# *.tikz +*-tikzDictionary + +# listings +*.lol + +# luatexja-ruby +*.ltjruby + +# makeidx +*.idx +*.ilg +*.ind + +# minitoc +*.maf +*.mlf +*.mlt +*.mtc[0-9]* +*.slf[0-9]* +*.slt[0-9]* +*.stc[0-9]* + +# minted +_minted* +*.pyg + +# morewrites +*.mw + +# newpax +*.newpax + +# nomencl +*.nlg +*.nlo +*.nls + +# pax +*.pax + +# pdfpcnotes +*.pdfpc + +# sagetex +*.sagetex.sage +*.sagetex.py +*.sagetex.scmd + +# scrwfile +*.wrt + +# svg +svg-inkscape/ + +# sympy +*.sout +*.sympy +sympy-plots-for-*.tex/ + +# pdfcomment +*.upa +*.upb + +# pythontex +*.pytxcode +pythontex-files-*/ + +# tcolorbox +*.listing + +# thmtools +*.loe + +# TikZ & PGF +*.dpth +*.md5 +*.auxlock + +# titletoc +*.ptc + +# todonotes +*.tdo + +# vhistory +*.hst +*.ver + +# easy-todo +*.lod + +# xcolor +*.xcp + +# xmpincl +*.xmpi + +# xindy +*.xdy + +# xypic precompiled matrices and outlines +*.xyc +*.xyd + +# endfloat +*.ttt +*.fff + +# Latexian +TSWLatexianTemp* + +## Editors: +# WinEdt +*.bak +*.sav + +# Texpad +.texpadtmp + +# LyX +*.lyx~ + +# Kile +*.backup + +# gummi +.*.swp + +# KBibTeX +*~[0-9]* + +# TeXnicCenter +*.tps + +# auto folder when using emacs and auctex +./auto/* +.auctex-auto/ + +# expex forward references with \gathertags +*-tags.tex + +# standalone packages +*.sta + +# Makeindex log files +*.lpz + +# xwatermark package +*.xwm + +# REVTeX puts footnotes in the bibliography by default, unless the nofootinbib +# option is specified. Footnotes are the stored in a file with suffix Notes.bib. +# Uncomment the next line to have this generated file ignored. +#*Notes.bib + +*.vimout +*.tuc + +*.pgf +*.pdf diff --git a/env.tex b/env.tex new file mode 100644 index 0000000..701dd9c --- /dev/null +++ b/env.tex @@ -0,0 +1,41 @@ +\startenvironment env + +\setupinteraction[ + state=start, + title={Predicate Aware Abstract Interpretation}, + author={Yann Herklotz}, + color=darkcyan, + contrastcolor=darkcyan, + openaction=ToggleViewer, + focus=height, + click=yes, + style=\rm, +] + +\setuppapersize[A4][A4] + +\definefontfeature[default][default][protrusion=quality,expansion=quality] +\setupbodyfont[ymhg] +\setupinterlinespace[big] + +\setuphead[title][ + style={\bfd\ss}, + header=empty, + align=center, + after={\blank[3*line]}, + before={\blank[2*line,force]}, +] + +\setupindenting[yes,medium] + +\setupfootertexts[pagenumber] +\setupheadertexts[] +\setupheadertexts[{\sc Yann Herklotz}][{\sc Abstract Interpretation}] + +\usemodule[vim] +\definevimtyping [hlcoq] [syntax=coq] +\definevimtyping [hlocaml] [syntax=ocaml] +\definevimtyping [hlverilog] [syntax=verilog] +\definevimtyping [hlC] [syntax=c,escape=command] + +\stopenvironment diff --git a/main.tex b/main.tex new file mode 100644 index 0000000..b0e6489 --- /dev/null +++ b/main.tex @@ -0,0 +1,17 @@ +\environment env +\starttext + +\title{Abstract Interpretation} + +\input tufte +\input tufte +\input tufte +\input tufte + +\input tufte +\input tufte +\input tufte +\input tufte +\input tufte + +\stoptext -- cgit