From 5e2ff668e09c5594d6051495882a6bf7643469be Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Fri, 30 Sep 2022 22:39:31 +0000 Subject: [PATCH] Update .gitignore Adding the following files to the list: src/ansi-c/gcc_builtin_headers_ia32-5.inc src/cprover/cprover src/crangler/c_lex.yy.cpp src/crangler/crangler Signed-off-by: Felipe R. Monteiro --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitignore b/.gitignore index c2675e148a4..fb967b1854f 100644 --- a/.gitignore +++ b/.gitignore @@ -43,6 +43,7 @@ src/ansi-c/gcc_builtin_headers_generic.inc src/ansi-c/gcc_builtin_headers_ia32-2.inc src/ansi-c/gcc_builtin_headers_ia32-3.inc src/ansi-c/gcc_builtin_headers_ia32-4.inc +src/ansi-c/gcc_builtin_headers_ia32-5.inc src/ansi-c/gcc_builtin_headers_ia32.inc src/ansi-c/gcc_builtin_headers_math.inc src/ansi-c/gcc_builtin_headers_mem_string.inc @@ -81,6 +82,7 @@ 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/crangler/c_lex.yy.cpp src/jsil/jsil_lex.yy.cpp src/jsil/jsil_y.output src/jsil/jsil_y.tab.cpp @@ -105,6 +107,8 @@ src/memory-models/mm_y.tab.h # binaries src/cbmc/cbmc src/cbmc/cbmc.exe +src/cprover/cprover +src/crangler/crangler src/goto-analyzer/goto-analyzer src/goto-analyzer/goto-analyzer.exe src/goto-cc/goto-cc