-
Notifications
You must be signed in to change notification settings - Fork 9
/
.gitignore
75 lines (65 loc) · 1.04 KB
/
.gitignore
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
*.py[cod]
*~
\#*\#
.\#*
# C extensions
*.so
# Packages
*.egg
*.egg-info
dist
build
eggs
parts
bin
var
sdist
develop-eggs
.installed.cfg
lib
lib64
*.spec
# Installer logs
pip-log.txt
# Unit test / coverage reports
.coverage
.tox
nosetests.xml
# Translations
*.mo
# Mr Developer
.mr.developer.cfg
.project
.pydevproject
# Coq files from tests
*.vo
*.vos
*.vok
*.d
.*.d
.coqdeps.d
*.glob
/tmp*.v
.*.aux
/bug_*.v
.coq-native
/examples/check.log
/examples/example_*_log.log
/examples/example_*_result.log
/examples/example_*_make.log
/examples/example_*_output.v
/examples/example_*/bug_*.v
/examples/example_*/generated_*.v
/examples/example_*/Makefile*.coq
/examples/example_*/Makefile*.coq.conf
/examples/example_*/*/bug_*.v
/examples/example_002/example_02_log.log
/examples/example_002/example_02_output.v
/examples/example_004/A_abs.v
/examples/example_004/B_abs.v
/examples/example_009/bug_09.v.require-bak
/examples/example_023/bug.v
/examples/example_024/outputs
/examples/example_*/tmp*.v
/examples/example_*/*/tmp*.v
/examples/example_*/*/*/tmp*.v