.gitignore

# OCaml old text annotation files
*.annot

# OCaml new binary annotation files
# for module implementations
*.cmt
# for module interfaces
*.cmti

# OCaml compiled interfaces
*.cmi

# OCaml native-compiled module files
*.cmx

# OCaml native-compiled dynamically linkable library module files
*.cmxs

# OCaml bytecode-compiled module files
*.cmo

# C object file (also corresponding C object files for OCaml modules)
*.o

# OCamldep module dependency files (in Make-like format)
*.depend

# OCaml native executables (ELFs)
*.opt

# OCaml bytecode executables (ELFs with virtual machine included)
*.byte

# OCamlyacc output files
*.output

# Coq compiled files
*.vo
*.glob

# Coq auxiliary files
*.aux

# Generated makefiles
*.generated

# Generated scripts
*.check_mli_exists

# Caches
*.cache

# Generated files and dirs
autom4te.cache/
bin/fc-config
bin/frama-c-config
_build
config.log
config.status
configure
doc/code/docgen.ml
frama_c_journal.ml
lib/
.make-wp-coq
.paths
.project
ptests/ptests_config.ml
.settings
share/frama-c.rc
share/.gitignore
share/Makefile.config
share/Makefile.dynamic_config
share/Makefile.kernel
src/kernel/config.ml
src/kernel/frama_c_config.ml
src/kernel_internals/parsing/clexer.ml
src/kernel_internals/parsing/cparser.ml
src/kernel_internals/parsing/cparser.mli
src/kernel_internals/parsing/logic_lexer.ml
src/kernel_internals/parsing/logic_parser.ml
src/kernel_internals/parsing/logic_parser.mli
src/kernel_internals/parsing/logic_preprocess.ml
src/kernel_internals/runtime/config.ml
src/kernel_internals/runtime/frama_c_config.ml
src/kernel_services/ast_queries/json_compilation_database.ml
src/lib/dynlink_common_interface.ml
src/libraries/stdlib/FCDynlink.ml
src/libraries/stdlib/integer.ml
src/libraries/stdlib/transitioning.ml
src/libraries/utils/json.ml
src/plugins/aorai/autom4te.cache/
src/plugins/aorai/configure
src/plugins/aorai/ltllexer.ml
src/plugins/aorai/ltlparser.ml
src/plugins/aorai/ltlparser.mli
src/plugins/aorai/Makefile
src/plugins/aorai/promelalexer.ml
src/plugins/aorai/promelalexer_withexps.ml
src/plugins/aorai/promelaparser.ml
src/plugins/aorai/promelaparser.mli
src/plugins/aorai/promelaparser_withexps.ml
src/plugins/aorai/promelaparser_withexps.mli
src/plugins/aorai/tests/ptests_config
src/plugins/aorai/yalexer.ml
src/plugins/aorai/yaparser.ml
src/plugins/aorai/yaparser.mli
src/plugins/e-acsl/configure
src/plugins/e-acsl/doc/doxygen/doxygen.cfg
src/plugins/e-acsl/Makefile
src/plugins/e-acsl/src/local_config.ml
src/plugins/e-acsl/tests/ptests_config
src/plugins/e-acsl/tests/test_config
src/plugins/gui/dgraph_helper.ml
src/plugins/gui/GSourceView.ml
src/plugins/gui/GSourceView.mli
src/plugins/gui/gtk_compat.ml
src/plugins/loop_analysis/configure
src/plugins/loop_analysis/Makefile
src/plugins/markdown-report/Makefile
src/plugins/nonterm/configure
src/plugins/nonterm/Makefile
src/plugins/obfuscator/configure
src/plugins/obfuscator/Makefile
src/plugins/print_api/grammar.ml
src/plugins/print_api/grammar.mli
src/plugins/print_api/lexer.ml
src/plugins/qed/Qed.mli
src/plugins/report/configure
src/plugins/report/Makefile
src/plugins/report/tests/ptests_config
src/plugins/security_slicing/configure
src/plugins/security_slicing/Makefile
src/plugins/server/Makefile
src/plugins/server/Server.mli
src/plugins/studia/Makefile
src/plugins/value/domains/apron/apron_domain.ml
src/plugins/value/domains/numerors/numerors_domain.ml
src/plugins/variadic/configure
src/plugins/variadic/Makefile
src/plugins/wp/Makefile
src/plugins/wp/share/instwp
src/plugins/wp/share/share
src/plugins/wp/tests/ptests_config
src/plugins/wp/tests/wp_usage/save_load.sav
src/plugins/wp/Wp.mli
src/security_slicing/autom4te.cache/
src/security_slicing/configure
src/security_slicing/Makefile
src/toplevel/toplevel_boot.ml
tests/misc/my_visitor.sav
tests/pdg/call.f.dot
tests/pdg/call.g.dot
tests/pdg/doc.g.dot
tests/pdg/dyn_dpds_0.dot
tests/pdg/dyn_dpds_1.dot
tests/ptests_config

# Test results
src/plugins/report/tests/report/result/
src/plugins/wp/tests/wp/result/
src/plugins/wp/tests/wp_acsl/result/
src/plugins/wp/tests/wp_bts/result/
src/plugins/wp/tests/wp_gallery/result/
src/plugins/wp/tests/wp_hoare/result/
src/plugins/wp/tests/wp_plugin/result/
src/plugins/wp/tests/wp_store/result/
src/plugins/wp/tests/wp_typed/result/
src/plugins/wp/tests/wp_usage/result/
tests/callgraph/result/
tests/cil/result/
tests/constant_propagation/result/
tests/dynamic/result/
tests/float/result/
tests/idct/result/
tests/impact/result/
tests/jcdb/result/
tests/journal/result/
tests/libc/result/
tests/metrics/result/
tests/misc/result/
tests/occurrence/result/
tests/pdg/result/
tests/pretty_printing/result/
tests/rte/result/
tests/rte_manual/result/
tests/saveload/result/
tests/scope/result/
tests/slicing/result/
tests/sparecode/result/
tests/spec/result/
tests/syntax/result/
tests/test/result/
tests/value/result/

# ? some dummy empty _DEP files
*_DEP