forked from verifast/verifast
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path.gitignore
128 lines (108 loc) · 2.1 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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
#----------Autogenerated with "git svn show-ignore"----------#
# /bin/
/bin/arrays.vfmanifest
/bin/dlsymtool
/bin/explorer
/bin/list.vfmanifest
/bin/listex.vfmanifest
/bin/mysh
/bin/raw_ghost_lists.vfmanifest
/bin/verifast
/bin/vfide
/bin/vfstrip
# /examples/helloproc/
/examples/helloproc/*autogenerated*
# /src/
/src/Fonts.ml
/src/Printexc_proxy.ml
/src/vfversion.ml
/src/DynType.mli
/src/plugins.mli
/src/plugins2.mli
#----------End autogenerated----------#
/lib/*
/bin/*.exe
/bin/*.dll
/bin/*.so
/bin/assoclist.vfmanifest
/bin/java_card_applet
/bin/main_class
/bin/quantifiers.vfmanifest
/bin/permutations.vfmanifest
/bin/crt.dll.vfmanifest
/src/a.out
/src/pa_verifast.cmo
/src/vfconfig.ml
GNUmakefile.settings
cidl
camlidl-1.05.tar.gz
camlidl-1.05
lgtk
lablgtk-2.14.2.tar.gz
lablgtk-2.14.2
ocaml
ocaml-4.00.1.tar.gz
ocaml-4.00.1
z3build
lastz3
test
/examples/MockKernel/MockKernelModule_proxy*
/examples/helloproc/lnxmod_proxy_autogen
/examples/java/Java Card/NewEidCard/EidCard-with-auto_provide0_*.java
/examples/java/Java Card/NewEidCard/EidCard_provide0_*.java
# Backup files
*~
/src/tabhunter
#
# Express {src,examples}/**/*.{cmx,cmi,o,a,cmxa,cmxs,annot,cmo,cma}. But the syntax isn't
# powerful enough.
# Normally we would put .gitignore files in the right directory structure
# and with a good directory structure everything would be solved,
# but let's not confuse the svn users and release scripts.
#
src/*.cmx
src/*.cmi
src/*.o
src/*.a
src/*.cmxa
src/*.cmxs
src/*.annot
src/*.cmo
src/*.cma
src/*.cmt
src/*.cmti
src/*/*.cmx
src/*/*.cmi
src/*/*.o
src/*/*.a
src/*/*.cmxa
src/*/*.cmxs
src/*/*.annot
src/*/*.cmo
src/*/*.cma
src/*/*.cmt
src/*/*.cmti
examples/*/*.cmx
examples/*/*.cmi
examples/*/*.o
examples/*/*.a
examples/*/*.cmxa
examples/*/*.cmxs
examples/*/*.annot
examples/*/*.cmo
examples/*/*.cma
examples/*/*.cmt
examples/*/*.cmti
*.kdev4
/src/buildcat_*.ml
# LaTeX temp files and output
doc/*/*.aux
doc/*/*.log
doc/*/*.out
doc/*/*.toc
doc/*/*.pdf
/buildsystems/ocamlbuild/_tempbuildfiles
/buildsystems/ocamlbuild/settings.make
# Java frontend stuff
src/java_frontend/ast_server.jar
examples/crypto/lib/polarssl