2017-01-11 18:30:28 +08:00
|
|
|
# Local files generated by IDEs
|
2017-03-14 18:20:06 +08:00
|
|
|
.vs/*
|
2017-01-11 18:30:28 +08:00
|
|
|
.vscode/*
|
2017-03-14 18:20:06 +08:00
|
|
|
~AutoRecover.*
|
|
|
|
*.sln
|
|
|
|
*.vcxproj*
|
|
|
|
scripts/__pycache__/*
|
|
|
|
src/goto-analyzer/taint_driver_scripts/.idea/*
|
|
|
|
/*.config
|
|
|
|
/*.creator
|
|
|
|
/*.creator.user
|
|
|
|
/*.files
|
|
|
|
/*.includes
|
2017-01-11 18:30:28 +08:00
|
|
|
|
2016-04-19 19:53:28 +08:00
|
|
|
# compilation files
|
|
|
|
*.lo
|
|
|
|
*.od
|
|
|
|
*.d
|
|
|
|
*.o
|
2016-04-26 04:38:53 +08:00
|
|
|
*.obj
|
2016-04-19 19:53:28 +08:00
|
|
|
*.a
|
2016-04-26 04:38:53 +08:00
|
|
|
*.lib
|
2016-04-20 00:10:05 +08:00
|
|
|
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
|
2017-04-27 15:55:57 +08:00
|
|
|
src/ansi-c/gcc_builtin_headers_ia32-3.inc
|
|
|
|
src/ansi-c/gcc_builtin_headers_ia32-4.inc
|
2016-04-20 00:10:05 +08:00
|
|
|
src/ansi-c/gcc_builtin_headers_ia32.inc
|
2017-04-26 18:19:46 +08:00
|
|
|
src/ansi-c/gcc_builtin_headers_math.inc
|
|
|
|
src/ansi-c/gcc_builtin_headers_mem_string.inc
|
|
|
|
src/ansi-c/gcc_builtin_headers_omp.inc
|
|
|
|
src/ansi-c/gcc_builtin_headers_tm.inc
|
2016-04-20 00:10:05 +08:00
|
|
|
src/ansi-c/gcc_builtin_headers_mips.inc
|
|
|
|
src/ansi-c/gcc_builtin_headers_power.inc
|
2017-04-26 18:19:46 +08:00
|
|
|
src/ansi-c/gcc_builtin_headers_ubsan.inc
|
2016-04-19 19:53:28 +08:00
|
|
|
|
2016-04-20 00:10:05 +08:00
|
|
|
# regression/test files
|
2016-04-19 19:53:28 +08:00
|
|
|
*.out
|
2017-02-03 18:42:59 +08:00
|
|
|
regression/**/tests.log
|
|
|
|
regression/**/*.gb
|
|
|
|
regression/**/*.smt2
|
2016-04-19 19:53:28 +08:00
|
|
|
|
2017-01-13 20:32:45 +08:00
|
|
|
# regression/coverage file
|
|
|
|
/regression/coverage_**
|
|
|
|
|
2016-04-19 19:53:28 +08:00
|
|
|
# files stored by editors
|
|
|
|
*~
|
2016-09-08 00:19:46 +08:00
|
|
|
|
|
|
|
# libs downloaded by make [name]-download
|
2016-04-19 19:53:28 +08:00
|
|
|
libzip/
|
2016-09-08 00:19:46 +08:00
|
|
|
zlib/
|
|
|
|
minisat*/
|
|
|
|
glucose-syrup/
|
2016-04-20 00:10:05 +08:00
|
|
|
|
|
|
|
# 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
|
2017-05-30 19:04:34 +08:00
|
|
|
src/memory-models/mm_lex.yy.cpp
|
|
|
|
src/memory-models/mm_y.output
|
|
|
|
src/memory-models/mm_y.tab.cpp
|
|
|
|
src/memory-models/mm_y.tab.h
|
2016-04-20 00:10:05 +08:00
|
|
|
|
|
|
|
# binaries
|
|
|
|
src/cbmc/cbmc
|
2016-06-28 18:32:23 +08:00
|
|
|
src/cbmc/cbmc.exe
|
2016-08-15 19:26:33 +08:00
|
|
|
src/cegis/cegis
|
|
|
|
src/cegis/cegis.exe
|
2016-04-20 00:10:05 +08:00
|
|
|
src/goto-analyzer/goto-analyzer
|
2016-06-28 18:32:23 +08:00
|
|
|
src/goto-analyzer/goto-analyzer.exe
|
2016-04-20 00:10:05 +08:00
|
|
|
src/goto-cc/goto-cc
|
2016-06-28 18:32:23 +08:00
|
|
|
src/goto-cc/goto-cc.exe
|
2016-07-02 00:56:03 +08:00
|
|
|
src/goto-cc/goto-cl.exe
|
2016-04-20 00:10:05 +08:00
|
|
|
src/goto-instrument/goto-instrument
|
2016-06-28 18:32:23 +08:00
|
|
|
src/goto-instrument/goto-instrument.exe
|
2016-05-09 04:28:07 +08:00
|
|
|
src/musketeer/musketeer
|
2016-06-28 18:32:23 +08:00
|
|
|
src/musketeer/musketeer.exe
|
|
|
|
src/symex/symex
|
|
|
|
src/symex/symex.exe
|
2016-07-02 00:56:03 +08:00
|
|
|
src/goto-diff/goto-diff
|
|
|
|
src/goto-diff/goto-diff.exe
|
2017-02-03 18:42:59 +08:00
|
|
|
src/clobber/clobber
|
|
|
|
src/clobber/clobber.exe
|
|
|
|
src/big-int/test-bigint
|
|
|
|
src/big-int/test-bigint.exe
|
2016-04-20 00:10:05 +08:00
|
|
|
|
|
|
|
# build tools
|
|
|
|
src/ansi-c/file_converter
|
2016-06-28 18:32:23 +08:00
|
|
|
src/ansi-c/file_converter.exe
|
2016-04-20 00:10:05 +08:00
|
|
|
src/ansi-c/library/converter
|
2016-06-28 18:32:23 +08:00
|
|
|
src/ansi-c/library/converter.exe
|
2016-04-20 00:10:05 +08:00
|
|
|
src/util/irep_ids_convert
|
2016-06-28 18:32:23 +08:00
|
|
|
src/util/irep_ids_convert.exe
|
2017-04-25 19:48:44 +08:00
|
|
|
|
|
|
|
*.pyc
|
2017-06-29 18:52:26 +08:00
|
|
|
|
|
|
|
# auto generated documentation
|
|
|
|
doc/html/
|