1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
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
|