blob: 8634ecef174b7f7fcfc5dadd73644ca3cd0d820c (
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
|
# global things
*~
.#*
*.bak
*.native
*.byte
a.out
_build/
_sbuild/
# HOL4
.HOLMK
.hollogs
*Theory.dat
*Theory.sig
*Theory.sml
*Theory.ui
*Theory.uo
# Coq
*.vo
*.glob
.*.aux
# location specific things
/Riscv.thy
/RiscvAuxiliary.thy
/Riscv_extras.thy
/Riscv_lemmas.thy
/Riscv_types.thy
/riscv.lem
/riscv_types.lem
/riscv_sequential.lem
/riscv_sequential_types.lem
/Riscv_sequential_lemmas.thy
/riscv
/platform
/riscv.c
/riscv_model.c
/riscv_c
/riscv_sim
|
