.gitignore 628 Bytes
Newer Older
1
target/
2
*.out
Eva Darulova's avatar
Eva Darulova committed
3
.DS_Store
4
src/test/resources/range_regression_today.txt
5
hol/.ocamlinit
6
hol/output/*
7 8 9
dmtcp*
ckpt*
hol/run_hol.sh
10

11
coq/_CoqProject
12
coq/.*
13
coq/Makefile*
14 15 16
coq/*/*.glob
coq/*/.*
coq/*/*.vo
17
coq/output/*
18
coq/*.time
19 20 21 22
coq/binary/*.cmi
coq/binary/*.cmo
coq/binary/CoqChecker*
coq/binary/coq_checker_*
23 24
coq/binary/*.cmx
coq/binary/*.o
Heiko Becker's avatar
Heiko Becker committed
25 26 27 28
**/*.glob
**/*.vo
**/*.v.d
**/*.v.d
29

30 31 32 33
hol4/*Theory*
hol4/*.ui
hol4/*.uo
hol4/.*
34 35 36
hol4/*/*.ui
hol4/*/*.uo
hol4/*/.*
37 38 39
hol4/output/*.sml
hol4/binary/cake_checker
hol4/binary/checker.S
40
hol4/output/certificate_*
Heiko Becker's avatar
Heiko Becker committed
41 42 43
**/*Theory*
**/heap
**/.HOLMK
44

Saksham Sharma's avatar
Saksham Sharma committed
45 46 47
rawdata/*
.ensime*
last.log
48
output/*
Heiko Becker's avatar
Heiko Becker committed
49 50
!output/README
/doc/