.gitignore 857 Bytes
Newer Older
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
/*.cm*
/a.out
/gen_ast
*~
*.swp
*.o
*.cmi
*.cmo
*.cmx
*.cmxs
*.idb
*.fir
*.zip
*.pdb
*.res
*.txt.user
.project
.cproject
/Release+Asserts
/Debug+Asserts
/intermediate_format.mli
/intermediate_format_parser.ml
/intermediate_format_parser.mli
/intermediate_format.c
/intermediate_format.h
/ptests_local_config.ml
/*.annot
/*_DEP
/.depend
/core
/configure
/config.*
/Makefile.config
/autom4te.cache
/frama_Clang_config.ml
/*.d
/doc
/frama-clang.tar.gz
/tests/*/result/*
/tests/basic/result/*
/tests/template/result/*
/tests/slicing/result/*
/tests/class/result/*
/tests/val_analysis/result/*
/tests/stl/result/*
/tests/pp/result/*
/tests/ppwp/result/*
48
/tests/wp-cache/cache/*
49
50
51
52
53
54
55
56
57
58
/tests/ptests_config
/bin/framaCIRGen
META.frama-c-frama_clang
/Frama_Clang.check_mli_exists
/.Makefile.plugin.generated
/.merlin
/top
.frama-c/
tempirgen
/mine/
Virgile Prevosto's avatar
Virgile Prevosto committed
59
/frama-clang-*.tar.gz