diff --git a/.gitignore b/.gitignore index 4803da7469b4c370aaa2751465c27be30a26c397..2b8b272dc8c3db14beee19536f597b09aac0f460 100644 --- a/.gitignore +++ b/.gitignore @@ -41,16 +41,22 @@ autom4te.cache .Makefile.plugin.generated #tests + /tests/ptests_config /tests/**/result/ /tests/**/result_*/ + +/tests/crowbar/*constfold +/tests/crowbar/integer_bb_pretty +/tests/crowbar/mutable +/tests/crowbar/output-* +/tests/crowbar/test_ghost_cfg /tests/journal/intra.byte /tests/misc/my_visitor_plugin/my_visitor.opt /tests/misc/my_visitor.sav /tests/*/*.opt /tests/pdg/*.dot -/tests/crowbar/output-* -/tests/crowbar/mutable + /devel_tools/fc-time /devel_tools/fc-memuse /bin/ocamldep_transitive_closure @@ -104,6 +110,8 @@ autom4te.cache /doc/code/qed /doc/code/wp +/doc/doxygen + /doc/pdg/call-f.eps /doc/pdg/call-f.fig /doc/pdg/call-f.pdf @@ -186,10 +194,18 @@ Makefile.plugin.generated /src/kernel_internals/parsing/clexer.ml /src/kernel_internals/parsing/cparser.ml /src/kernel_internals/parsing/cparser.mli -/src/plugins/value/domains/apron/apron_domain.ml -/src/plugins/value/domains/numerors/numerors_domain.ml /src/kernel_services/ast_queries/json_compilation_database.ml /src/libraries/stdlib/transitioning.ml +/src/plugins/gui/dgraph.ml +/src/plugins/gui/dgraph.mli +/src/plugins/gui/dgraph_helper.ml +/src/plugins/gui/GSourceView.ml +/src/plugins/gui/GSourceView.mli +/src/plugins/gui/GSourceView2.ml +/src/plugins/gui/GSourceView2.mli +/src/plugins/gui/gtk_compat.ml +/src/plugins/value/domains/apron/apron_domain.ml +/src/plugins/value/domains/numerors/numerors_domain.ml # generated tar.gz files @@ -199,14 +215,3 @@ hello-*.tar.gz ####################### # should remain empty # ####################### -/src/plugins/gui/GSourceView2.mli -/src/plugins/gui/GSourceView2.ml -/src/plugins/gui/dgraph.ml -/src/plugins/gui/dgraph.mli -/src/plugins/gui/gtk_compat.ml -/src/plugins/gui/GSourceView.ml -/src/plugins/gui/GSourceView.mli -/tests/crowbar/integer_bb_pretty -/src/plugins/gui/dgraph_helper.ml -/doc/doxygen -/tests/crowbar/test_ghost_cfg