.gitignore

# Local files generated by IDEs
.vs/*
.vscode/*
*.code-workspace
~AutoRecover.*
*.sln
*.vcxproj*
scripts/__pycache__/*
src/goto-analyzer/taint_driver_scripts/.idea/*
/*.config
/*.creator
/*.creator.user
/*.files
/*.idea
/*.includes
# Eclipse
.cproject
.project
.settings
# Visual Studio
Debug/*
Release/*

# compilation files
*.lo
*.od
*.d
*.o
*.obj
*.a
*.lib
src/ansi-c/converter_input.txt
src/util/version.cpp
src/ansi-c/arm_builtin_headers.inc
src/ansi-c/clang_builtin_headers.inc
src/ansi-c/cprover_builtin_headers.inc
src/ansi-c/cprover_library.inc
src/ansi-c/cw_builtin_headers.inc
src/ansi-c/gcc_builtin_headers_types.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-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
src/ansi-c/gcc_builtin_headers_omp.inc
src/ansi-c/gcc_builtin_headers_tm.inc
src/ansi-c/gcc_builtin_headers_mips.inc
src/ansi-c/gcc_builtin_headers_power.inc
src/ansi-c/gcc_builtin_headers_ubsan.inc
src/ansi-c/windows_builtin_headers.inc
src/cpp/cprover_library.inc

# regression/test files
*.out
regression/**/tests.log
regression/**/tests-*.log
regression/**/*.goto-cc-saved
regression/**/*.gb
regression/**/*.smt2
regression/solver-hardness/solver-hardness-simple/solver_hardness.json
jbmc/regression/**/tests.log
jbmc/regression/**/tests-symex-driven-loading.log

# regression/coverage file
/regression/coverage_**

# files stored by editors
*~

# libs downloaded by make [name]-download
minisat*/
cadical*/
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/crangler/c_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/statement-list/statement_list_lex.yy.cpp
src/statement-list/statement_list_y.output
src/statement-list/statement_list_y.tab.cpp
src/statement-list/statement_list_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
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

# 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
src/goto-cc/goto-gcc
src/goto-cc/goto-ld
src/goto-cc/goto-cc.exe
src/goto-cc/goto-cl.exe
src/goto-harness/goto-harness
src/goto-harness/goto-harness.exe
src/goto-instrument/goto-instrument
src/goto-instrument/goto-instrument.exe
src/solvers/smt2_solver
src/solvers/smt2_solver.exe
src/memory-analyzer/memory-analyzer
src/memory-analyzer/memory-analyzer.exe
src/symtab2gb/symtab2gb
src/symtab2gb/symtab2gb.exe
src/goto-diff/goto-diff
src/goto-diff/goto-diff.exe
src/clobber/clobber
src/clobber/clobber.exe
jbmc/src/janalyzer/janalyzer
jbmc/src/janalyzer/janalyzer.exe
jbmc/src/jdiff/jdiff
jbmc/src/jdiff/jdiff.exe
jbmc/src/jbmc/jbmc
jbmc/src/jbmc/jbmc.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
jbmc/src/java_bytecode/library/converter.exe
jbmc/src/java_bytecode/library/converter
jbmc/src/java_bytecode/library/core-models.jar
jbmc/src/java_bytecode/library/classes
jbmc/src/java_bytecode/library/src
build/
dist/

*.pyc

# auto generated documentation
doc/html/