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
|
# compilation files
*.lo
*.od
*.d
*.o
*.obj
*.a
*.lib
src/ansi-c/arm_builtin_headers.inc
src/ansi-c/clang_builtin_headers.inc
src/ansi-c/cprover_library.inc
src/ansi-c/cw_builtin_headers.inc
src/ansi-c/gcc_builtin_headers_alpha.inc
src/ansi-c/gcc_builtin_headers_arm.inc
src/ansi-c/gcc_builtin_headers_generic.inc
src/ansi-c/gcc_builtin_headers_ia32-2.inc
src/ansi-c/gcc_builtin_headers_ia32.inc
src/ansi-c/gcc_builtin_headers_mips.inc
src/ansi-c/gcc_builtin_headers_power.inc
src/util/irep_ids.h
src/util/irep_ids.inc
# regression/test files
*.out
regression/ansi-c/tests.log
regression/symex/tests.log
regression/cbmc-java/tests.log
regression/cbmc/tests.log
src/big-int/test-bigint
src/big-int/test-bigint.exe
# files stored by editors
*~
# libs downloaded by make [name]-download
libzip/
zlib/
minisat*/
glucose-syrup/
# flex/bison generated files
src/ansi-c/ansi_c_lex.yy.cpp
src/ansi-c/ansi_c_y.output
src/ansi-c/ansi_c_y.tab.cpp
src/ansi-c/ansi_c_y.tab.h
src/assembler/assembler_lex.yy.cpp
src/jsil/jsil_lex.yy.cpp
src/jsil/jsil_y.output
src/jsil/jsil_y.tab.cpp
src/jsil/jsil_y.tab.h
src/json/json_lex.yy.cpp
src/json/json_y.output
src/json/json_y.tab.cpp
src/json/json_y.tab.h
src/xmllang/xml_lex.yy.cpp
src/xmllang/xml_y.output
src/xmllang/xml_y.tab.cpp
src/xmllang/xml_y.tab.h
# binaries
src/cbmc/cbmc
src/cbmc/cbmc.exe
src/cegis/cegis
src/cegis/cegis.exe
src/goto-analyzer/goto-analyzer
src/goto-analyzer/goto-analyzer.exe
src/goto-cc/goto-cc
src/goto-cc/goto-cc.exe
src/goto-cc/goto-cl.exe
src/goto-instrument/goto-instrument
src/goto-instrument/goto-instrument.exe
src/musketeer/musketeer
src/musketeer/musketeer.exe
src/symex/symex
src/symex/symex.exe
src/goto-diff/goto-diff
src/goto-diff/goto-diff.exe
# build tools
src/ansi-c/file_converter
src/ansi-c/file_converter.exe
src/ansi-c/library/converter
src/ansi-c/library/converter.exe
src/util/irep_ids_convert
src/util/irep_ids_convert.exe
|
