replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
diffblue-cbmc/.gitignore

78 lines
1.7 KiB
Plaintext
Raw Normal View History

Add .gitignore file for convenience Signed-off-by: Norbert Manthey <nmanthey@amazon.de> CC: Michael Tautschnig <tautschn@amazon.co.uk> CR: https://cr.amazon.com/r/5146296/
2016-04-19 19:53:28 +08:00
# compilation files
*.lo
*.od
*.d
*.o
added Windows extensions
2016-04-26 04:38:53 +08:00
*.obj
Add .gitignore file for convenience Signed-off-by: Norbert Manthey <nmanthey@amazon.de> CC: Michael Tautschnig <tautschn@amazon.co.uk> CR: https://cr.amazon.com/r/5146296/
2016-04-19 19:53:28 +08:00
*.a
added Windows extensions
2016-04-26 04:38:53 +08:00
*.lib
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
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
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
Add .gitignore file for convenience Signed-off-by: Norbert Manthey <nmanthey@amazon.de> CC: Michael Tautschnig <tautschn@amazon.co.uk> CR: https://cr.amazon.com/r/5146296/
2016-04-19 19:53:28 +08:00
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
2016-04-20 00:10:05 +08:00
# regression/test files
Add .gitignore file for convenience Signed-off-by: Norbert Manthey <nmanthey@amazon.de> CC: Michael Tautschnig <tautschn@amazon.co.uk> CR: https://cr.amazon.com/r/5146296/
2016-04-19 19:53:28 +08:00
*.out
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
2016-04-20 00:10:05 +08:00
regression/ansi-c/tests.log
regression/cbmc-java/tests.log
regression/cbmc/tests.log
src/big-int/test-bigint
more binaries
2016-07-02 00:56:17 +08:00
src/big-int/test-bigint.exe
Add .gitignore file for convenience Signed-off-by: Norbert Manthey <nmanthey@amazon.de> CC: Michael Tautschnig <tautschn@amazon.co.uk> CR: https://cr.amazon.com/r/5146296/
2016-04-19 19:53:28 +08:00
# files stored by editors
*~
libzip/
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
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
# binaries
src/cbmc/cbmc
added Windows executables
2016-06-28 18:32:23 +08:00
src/cbmc/cbmc.exe
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
2016-04-20 00:10:05 +08:00
src/goto-analyzer/goto-analyzer
added Windows executables
2016-06-28 18:32:23 +08:00
src/goto-analyzer/goto-analyzer.exe
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
2016-04-20 00:10:05 +08:00
src/goto-cc/goto-cc
added Windows executables
2016-06-28 18:32:23 +08:00
src/goto-cc/goto-cc.exe
more binaries
2016-07-02 00:56:03 +08:00
src/goto-cc/goto-cl.exe
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
2016-04-20 00:10:05 +08:00
src/goto-instrument/goto-instrument
added Windows executables
2016-06-28 18:32:23 +08:00
src/goto-instrument/goto-instrument.exe
added missing binary
2016-05-09 04:28:07 +08:00
src/musketeer/musketeer
added Windows executables
2016-06-28 18:32:23 +08:00
src/musketeer/musketeer.exe
src/symex/symex
src/symex/symex.exe
more binaries
2016-07-02 00:56:03 +08:00
src/goto-diff/goto-diff
src/goto-diff/goto-diff.exe
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
2016-04-20 00:10:05 +08:00
# build tools
src/ansi-c/file_converter
added Windows executables
2016-06-28 18:32:23 +08:00
src/ansi-c/file_converter.exe
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
2016-04-20 00:10:05 +08:00
src/ansi-c/library/converter
added Windows executables
2016-06-28 18:32:23 +08:00
src/ansi-c/library/converter.exe
Refined .gitignore rules - Not all .inc are safe to be ignored - Various bison/flex generated files should be ignored - Various built binaries are to be ignored Signed-off-by: Michael Tautschnig <tautschn@amazon.com>
2016-04-20 00:10:05 +08:00
src/util/irep_ids_convert
added Windows executables
2016-06-28 18:32:23 +08:00
src/util/irep_ids_convert.exe