-
Notifications
You must be signed in to change notification settings - Fork 28
/
.gitignore
48 lines (46 loc) · 995 Bytes
/
.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
autom4te.cache
*.orig
*.rej
a.out
TAGS
*.generated
*.cmi
*.cmo
*.cmx
*.cmt
*.cmti
*.o
*.output
.depend
*.log
*~
config.status
share/Makefile.config
share/Makefile.dynamic_config
share/Makefile.kernel
share/frama-c.rc
*.check_mli_exists
bin/*
filesystem/tis-mkfs
tis-interpreter/tis-mkfs
*.tar.gz
doc/code/docgen.ml
src/kernel_internals/parsing/clexer.ml
src/kernel_internals/parsing/cparser.ml
src/kernel_internals/parsing/cparser.mli
src/kernel_internals/parsing/logic_lexer.ml
src/kernel_internals/parsing/logic_parser.ml
src/kernel_internals/parsing/logic_parser.mli
src/kernel_internals/parsing/logic_preprocess.ml
src/kernel_internals/runtime/config.ml
src/kernel_internals/runtime/frama_c_config.ml
src/libraries/stdlib/FCDynlink.ml
src/libraries/stdlib/integer.ml
src/libraries/utils/json.ml
src/plugins/aorai/Makefile
src/plugins/obfuscator/Makefile
src/plugins/report/Makefile
src/plugins/security_slicing/Makefile
src/plugins/wp/Makefile
tis-interpreter/tis-interpreter/
ocamlgraph/