blob: 3bd2cdd5be29806534f1651974798449274779fe (
plain)
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
# global things
*~
.#*
*.bak
*.native
*.byte
a.out
_build/
_sbuild/
z3_problems
# HOL4
.HOLMK
.hollogs
*Theory.dat
*Theory.sig
*Theory.sml
*Theory.ui
*Theory.uo
lib/hol/sail-heap
# Coq
*.vo
*.glob
.*.aux
# location specific things
/sail
/src/sail.docdir
/src/ast.lem
/src/ast.ml
/src/jib.lem
/src/jib.ml
/src/manifest.ml
/test/typecheck/rtpass*/
/test/typecheck/tests.xml
/test/lem/Out_lemmas.thy
/test/lem/out.lem
/test/lem/out_types.lem
/test/*/tests.xml
/test/riscv/tests/*.iout
/language/*.pdf
/language/*.uo
/language/*.ui
/language/*.sig
/language/*.sml
/language/.HOLMK
/language/*.tex
/language/*.aux
/language/*.log
/language/*.dvi
/language/*.ps
/aarch64/Aarch64.thy
/aarch64/Aarch64Auxiliary.thy
/aarch64/Aarch64_extras.thy
/aarch64/Aarch64_lemmas.thy
/aarch64/Aarch64_types.thy
/aarch64/aarch64.lem
/aarch64/aarch64_types.lem
/aarch64/z3_problems
/cheri/cheri
/cheri/cheri128
/power/power.lem
/power/power.ml
/power/power_embed.lem
/power/power_embed_sequential.lem
/power/power_embed_types.lem
/power/power_toFromInterp.lem
/x86/x86.lem
/x86/x86.ml
/x86/x86_embed.lem
/x86/x86_embed_sequential.lem
/x86/x86_embed_types.lem
/x86/x86_toFromInterp.lem
|
