ocamlformat icon indicating copy to clipboard operation
ocamlformat copied to clipboard
verified publisher icon ocaml-ppx

Bugs in opam repository

Open hhugo opened this issue 6 years ago • 6 comments

Note that this experiment is based on https://github.com/ocaml-ppx/ocamlformat/pull/984

How to reproduce

mkdir all-sources
cd all-sources
opam list -a --columns name | grep -v "^#" | xargs -n 1 -I {} opam source {}
find ./ -type f -name "*.ml" -o -name "*.mli" | parallel -- ../ocamlformat/_build/release/src/ocamlformat.exe --enable-outside-detected-project --no-version-check --quiet --no-comment-check --ignore-invalid-option > /dev/null

gives, with some manual cleanup, the following errors:

  • [x] ./bap-objdump.1.6.0/lib/x86_cpu/x86_types.ml: formatting did not stabilize after 10 iterations. (fixed by https://github.com/ocaml-ppx/ocamlformat/pull/998)
  • [x] ./boomerang.1.1.0/lib/bakery.ml: ast changed. (issue https://github.com/ocaml-ppx/ocamlformat/issues/994, fixed by https://github.com/ocaml-ppx/ocamlformat/pull/995)
  • [x] ./frenetic.5.0.3/test/Test_Frenetic_NetKAT_Compiler.ml: ast changed. (fixed by https://github.com/ocaml-ppx/ocamlformat/pull/995)
  • [x] ./mldonkey.3.1.6/src/daemon/common/commonMessages.ml: ast changed. (fixed by https://github.com/ocaml-ppx/ocamlformat/pull/995)
  • [x] ./mldonkey.3.1.6/src/daemon/common/commonPictures.ml: ast changed. (fixed by https://github.com/ocaml-ppx/ocamlformat/pull/995)
  • [ ] ./ocaml-variants.4.10.0+trunk+flambda/testsuite/tests/parsetree/source.ml: ~~generating invalid ocaml syntax~~ ast changed. (~~fixed by https://github.com/ocaml-ppx/ocamlformat/pull/996~~)
  • [x] ./ocaml_at_p.1.1.0/test/test.ml: ast changed. (#987)
  • [x] ./ppx_cstubs.0.2.0/examples/inline.c.ml: generating invalid ocaml syntax. (#988)
  • [x] ./ppx_monadic.2.3.0/tests/test_beginm.ml: unhandled exception. Use [--debug] for details.
  • [x] ./ppx_monoid.0.2/test/test.ml: unhandled exception. Use [--debug] for details. (issue https://github.com/ocaml-ppx/ocamlformat/issues/990)
  • [x] ./tensorflow.0.0.11/src/stubs/tf_bindings.ml: formatting did not stabilize after 10 iterations.
  • [ ] ./ott.0.29/src/lex_menhir_pp.ml: formatting did not stabilize after 10 iterations. (fixed by https://github.com/ocaml-ppx/ocamlformat/pull/921)
  • [ ] ./ocamleditor.1.13.4/src/oebuild/oebuild_parallel.ml: formatting did not stabilize after 10 iterations. (fixed by https://github.com/ocaml-ppx/ocamlformat/pull/921)
  • [x] ./ocaml-protoc.1.2.0/src/compilerlib/pb_codegen_backend.ml: formatting did not stabilize after 10 iterations.
  • [x] ./haxe.3.4.7/libs/ilib/ilMeta.mli: formatting did not stabilize after 10 iterations. (issue https://github.com/ocaml-ppx/ocamlformat/issues/989)
  • [ ] ./bsbnative.1.9.4/jscomp/core/js_main.ml: formatting did not stabilize after 10 iterations. (fixed by https://github.com/ocaml-ppx/ocamlformat/pull/921)
  • [x] ./bsbnative.1.9.4/jscomp/test/ocaml_proto_test.ml: formatting did not stabilize after 10 iterations.
  • [x] ./frama-c-base.15.0/src/libraries/utils/utf8_logic.ml: formatting did not stabilize after 10 iterations.
  • [x] ./frama-c.19.0/src/libraries/utils/utf8_logic.ml: formatting did not stabilize after 10 iterations.
  • [ ] ./KaSim.4.0.0/KaSa_rep/lib/full/superargTk.ml: formatting did not stabilize after 10 iterations. (fixed by https://github.com/ocaml-ppx/ocamlformat/pull/921)

(check the box then the issue has been identified and created or fixed)

hhugo avatar Aug 26 '19 15:08 hhugo

I updated the list using the last release (0.13.0). Some are mysteriously fixed (not by fixing the linked issue) and one file has now a different bug (in ocaml-variants). I didn't test on all opam, only on the files already in the list.

Julow avatar Feb 05 '20 14:02 Julow

What's the status here ? Is the list of issue up to date ?

hhugo avatar Sep 22 '20 09:09 hhugo

I ran ocamlformat over 80% of all opam packages.

Error output:

ott.0.31/src/lex_menhir_pp.ml: formatting did not stabilize after 10 iterations.
cil.1.7.3/src/ext/optutil.ml: ast changed.
cil.1.7.3/src/ext/pta/olf.ml: ast changed.
cil.1.7.3/src/ext/pta/golf.ml: ast changed.
reason.3.6.0/formatTest/typeCheckedTests/input/comments.ml: ast changed.
why.2.41/src/hypotheses_filtering.ml: ast changed.
proverif.2.02pl1/src/display.ml: ast changed.
eliom.6.12.1/src/lib/server/eliommod_timeouts.ml: ast changed.
eliom.6.12.1/src/lib/server/eliommod_persess.ml: ast changed.
eliom.6.12.1/src/lib/server/eliommod_sersess.ml: ast changed.
eliom.6.12.1/src/lib/server/eliommod.ml: ast changed.
eliom.6.12.1/src/lib/server/eliommod_sessexpl.ml: ast changed.
eliom.6.12.1/src/lib/server/eliommod_datasess.ml: ast changed.
eliom.6.12.1/src/lib/server/eliommod_sessadmin.ml: ast changed.
lwt.5.3.0/src/unix/lwt_io.ml: ast changed.
lwt.5.3.0/test/core/test_lwt.ml: ast changed.
frama-c-base.15.0/src/plugins/pdg/ctrlDpds.ml: ast changed.
frama-c-base.15.0/src/kernel_services/ast_queries/logic_env.ml: ast changed.
kappa-binaries.4.1.0/core/cli/superargTk.tk.ml: formatting did not stabilize after 10 iterations.
odb-server.0.1/server.ml: ast changed.
pilat.1.3/src/lacaml_matrix.ml: ast changed.
memcad.1.0.0/c/c_pre_analyze.ml: ast changed.
rtop.3.6.0/formatTest/typeCheckedTests/input/comments.ml: ast changed.
links-sqlite3.0.9.1/core/types.ml: ast changed.
lwt_camlp4.1.0.0/test/core/test_lwt.ml: ast changed.
gxl-light.1.0/GXL.ml: ast changed.
beluga.0.8.2/src/core/synext.ml: ast changed.
beluga.0.8.2/src/core/synint.ml: ast changed.
kappa-library.4.1.0/core/cli/superargTk.tk.ml: formatting did not stabilize after 10 iterations.
flowtype.0.94.0/src/typing/repos_cache.ml: ast changed.
color-brewery.0.1/src/color_brewery.ml: ast changed.
pvem.0.0.1/pvem.ml: ast changed.
haxe.4.1.1/src/codegen/gencommon/castDetect.ml: ast changed.
ocaml-secondary-compiler.4.08.1-1/testsuite/tests/parsetree/source.ml: ast changed.
ocaml-secondary-compiler.4.08.1-1/testsuite/tests/typing-poly/poly.ml: generating invalid ocaml syntax.
ocaml-secondary-compiler.4.08.1-1/testsuite/tests/typing-gadts/didier.ml: ast changed.
ocamlformat.0.15.0/test/passing/sequence.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/comments_args.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/comments.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/break_cases.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/loc_stack.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/extensions.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/label_option_default_args.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/wrap_comments.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/module_item_spacing.mli: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/source.ml: formatting did not stabilize after 2 iterations.
ocamlformat.0.15.0/test/passing/js_source.ml: formatting did not stabilize after 2 iterations.
links-postgresql.0.9.1/core/types.ml: ast changed.
bisect_ppx-ocamlbuild.1.0.1/src/ppx/instrument.ml: ast changed.
bisect_ppx-ocamlbuild.1.0.1/test/unit/fixtures/exclude-comments/excluded_clauses.reference.ml: ast changed.
bisect_ppx-ocamlbuild.1.0.1/test/unit/fixtures/ppx-integration/attributes.ml: ast changed.
bisect_ppx-ocamlbuild.1.0.1/test/unit/fixtures/ppx-integration/attributes.reference.ml: ast changed.
bisect_ppx-ocamlbuild.1.0.1/test/unit/fixtures/instrument/expr_match.reference.ml: ast changed.
bisect_ppx-ocamlbuild.1.0.1/test/unit/fixtures/instrument/expr_match_ppat_open_404.reference.ml: ast changed.
frama-c.21.1/src/plugins/pdg/ctrlDpds.ml: ast changed.
frama-c.21.1/src/kernel_services/ast_queries/logic_env.ml: ast changed.
batteries.3.1.0/src/batLazyList.ml: ast changed.
batteries.3.1.0/battop.ml: ast changed.
ocaml-data-notation.0.0.11/test/data/oasis-examples/PropList.ml: ast changed.
zephyrus.0.1/src/datatypes/data_model.ml: ast changed.
goblint-cil.1.7.4/src/ext/pta/olf.ml: ast changed.
goblint-cil.1.7.4/src/ext/pta/golf.ml: ast changed.
links.0.9.1/core/types.ml: ast changed.
opa-base.1.1.0+4263/ocamllib/libbase/traverseInterface.ml: ast changed.
opa-base.1.1.0+4263/compiler/libqmlcompil/qmlTypes.ml: ast changed.
opa-base.1.1.0+4263/compiler/libbsl/bslPluginInterface.ml: ast changed.
opa-base.1.1.0+4263/compiler/opa/pass_FunActionJsCallGeneration.ml: ast changed.
bisect_ppx.2.4.1/test/unit/fixtures/ppx-integration/attributes.ml: ast changed.
bisect_ppx.2.4.1/test/unit/fixtures/ppx-integration/attributes.reference.ml: ast changed.
bisect_ppx.2.4.1/test/unit/fixtures/instrument/cases.reference.ml: ast changed.
bisect_ppx.2.4.1/test/unit/fixtures/instrument/function.reference.ml: ast changed.
bisect_ppx.2.4.1/test/unit/fixtures/instrument/match.reference.ml: ast changed.
bisect_ppx.2.4.1/test/unit/fixtures/instrument/try.reference.ml: ast changed.
bisect_ppx.2.4.1/test/unit/fixtures/instrument/ppat_open_404.reference.ml: ast changed.
bisect_ppx.2.4.1/test/unit/fixtures/instrument/match_408.reference.ml: ast changed.
bsbnative.1.9.4/jscomp/core/lam_compile.ml: ast changed.
bsbnative.1.9.4/jscomp/core/lam_coercion.ml: ast changed.
bsbnative.1.9.4/jscomp/core/js_main.ml: formatting did not stabilize after 10 iterations.
bsbnative.1.9.4/jscomp/core/lam_pass_deep_flatten.ml: ast changed.
bsbnative.1.9.4/jscomp/core/lam.ml: ast changed.
bsbnative.1.9.4/jscomp/test/for_side_effect_test.ml: ast changed.
bsbnative.1.9.4/jscomp/test/mutable_obj_test.ml: generating invalid ocaml syntax.
bsbnative.1.9.4/jscomp/test/test_bs_this.ml: generating invalid ocaml syntax.
bsbnative.1.9.4/jscomp/test/mario_game.ml: generating invalid ocaml syntax.
bsbnative.1.9.4/jscomp/runtime/js_internal.ml: ast changed.
bsbnative.1.9.4/jscomp/others/js_array.ml: ast changed.
bsbnative.1.9.4/vendor/ocaml/testsuite/tests/typing-poly/poly.ml: generating invalid ocaml syntax.
bsbnative.1.9.4/vendor/ocaml/testsuite/tests/typing-gadts/didier.ml: ast changed.
archsat.1.1/src/core/dispatcher.ml: ast changed.
ocaml-src.4.11.1/testsuite/tests/parsetree/source.ml: ast changed.
ocaml-src.4.11.1/testsuite/tests/typing-poly/poly.ml: generating invalid ocaml syntax.
ocaml-src.4.11.1/testsuite/tests/typing-gadts/didier.ml: ast changed.
lwt_ppx.2.0.1/src/unix/lwt_io.ml: ast changed.
lwt_ppx.2.0.1/test/core/test_lwt.ml: ast changed.
kappa-server.4.1.0/core/cli/superargTk.tk.ml: formatting did not stabilize after 10 iterations.
mirage-qubes.0.8.3/lib/formats.ml: ast changed.
bap-saluki.bap-1.6/minos/checks/system_simple_check.ml: ast changed.
bap-saluki.bap-1.6/minos/checks/system_check.ml: ast changed.
bap-saluki.bap-1.6/minos/summary.ml: ast changed.
bap-saluki.bap-1.6/minos/interprocedural.ml: ast changed.
bap-saluki.bap-1.6/minos/util.ml: ast changed.
relit-reason.0.0.2/formatTest/typeCheckedTests/input/comments.ml: ast changed.
kappa-agents.4.1.0/core/cli/superargTk.tk.ml: formatting did not stabilize after 10 iterations.
lwt_react.1.1.3/src/unix/lwt_io.ml: ast changed.
lwt_react.1.1.3/test/core/test_lwt.ml: ast changed.
ocaml-variants.4.12.0+trunk+no-flat-float-array/testsuite/tests/parsetree/source.ml: ast changed.
ocaml-variants.4.12.0+trunk+no-flat-float-array/testsuite/tests/typing-poly/poly.ml: generating invalid ocaml syntax.
ocaml-variants.4.12.0+trunk+no-flat-float-array/testsuite/tests/typing-gadts/didier.ml: ast changed.

On some files, OCamlformat is stuck (taking 100% of the CPU for ever):

  • dot-merlin-reader.3.4.0/src/ocaml/typing/407_0/predef.ml
  • proverif.2.02pl1/src/rules.ml
  • camlp5.8.00~alpha04/ocaml_src/meta/q_MLast.ml
  • merlin.3.4.0/src/ocaml/typing/409/predef.ml
  • earley-ocaml.1.1.0/bootstrap/4.04.2/pa_ocaml.ml
  • bsbnative.1.9.4/jscomp/test/ocaml_typedtree_test.ml

These projects contain many files that trigger this problem.

Julow avatar Sep 22 '20 16:09 Julow

I'm surprised by the amount of "ast changed" in the report above. I wonder if we've introduced regressions since the initial report.

hhugo avatar Nov 10 '20 13:11 hhugo

Has anyone looked at this since my last comment ?

hhugo avatar Jul 07 '21 14:07 hhugo

I'm running the script to see if the results improved since last time and will open issues for cases to fix.

Here are some partial results, AST changed for:

  • [ ] "./flowtype.0.94.0/hack/heap/sharedMem.ml".
  • [ ] "./flowtype.0.94.0/scripts/gen_build_id.ml".
  • [ ] "./jsonrpc.1.7.0/ocaml-lsp-server/vendor/omd/src/omd_backend.ml".
  • [ ] "./bitvec-sexp.2.3.0/lib/bap_types/bap_exp.mli".
  • [ ] "./bitvec-sexp.2.3.0/lib/bap/bap.mli"
  • [ ] "./bitvec-sexp.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml".
  • [ ] "./bap-primus.2.3.0/lib/bap_types/bap_exp.mli".
  • [ ] "./bap-primus.2.3.0/lib/bap/bap.mli".
  • [ ] "./bap-primus.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml".
  • [ ] "./bap-warn-unused.2.3.0/lib/bap_types/bap_exp.mli".
  • [ ] "./bap-warn-unused.2.3.0/lib/bap/bap.mli".
  • [ ] "./bap-warn-unused.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml".
  • [ ] "./ocaml-protoc-plugin.4.2.0/src/ocaml_protoc_plugin/result.ml".
  • [ ] "./ocaml-protoc-plugin.4.2.0/src/ocaml_protoc_plugin/field.ml".
  • [ ] "./ogre.2.3.0/lib/bap_types/bap_exp.mli".
  • [ ] "./ogre.2.3.0/lib/bap/bap.mli".
  • [ ] "./ogre.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml".
  • [ ] "./wdialog.2.1.3/src/wdialog/wd_interactor.mli".
  • [ ] "./bap-ida.2.3.0/lib/bap_types/bap_exp.mli".
  • [ ] "./bap-ida.2.3.0/lib/bap/bap.mli".
  • [ ] "./bap-ida.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml".
  • [ ] "./bap-primus-lisp.2.3.0/lib/bap_types/bap_exp.mli".
  • [ ] "./bap-primus-lisp.2.3.0/lib/bap/bap.mli".
  • [ ] "./bap-primus-lisp.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml".
  • [ ] "./links-mysql.0.9.3/core/value.ml".
  • [ ] "./links-mysql.0.9.3/core/types.mli"
  • [ ] "./oml.0.0.7/src-full/stats/omlf_distributions.mli"
  • [ ] "./bap-analyze.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-analyze.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-analyze.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./eliom.8.4.8/src/lib/eliom_content_.client.ml"
  • [ ] "./gxl-light.1.0/GXL.ml"
  • [ ] "./bap-dump-symbols.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-dump-symbols.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-dump-symbols.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./bap-ida-plugin.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-ida-plugin.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-ida-plugin.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./curses.1.0.6/curses.mli"
  • [ ] "./bap-beagle-strings.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-beagle-strings.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-beagle-strings.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./lwd.0.1/lib/nottui/nottui.ml"
  • [ ] "./rml.1.09.06/doc/stdlib/pervasives.mli"
  • [ ] "./cil.1.7.3/src/ext/pta/olf.ml"
  • [ ] "./cil.1.7.3/src/ext/pta/golf.ml"
  • [ ] "./cil.1.7.3/src/ext/optutil.ml"
  • [ ] "./cil.1.7.3/src/ext/optutil.mli"
  • [ ] "./opam-solver.2.1.0~rc2/src/client/opamSwitchCommand.ml"
  • [ ] "./bap-primus-loader.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-primus-loader.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-primus-loader.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./mpp.0.3.5/src/mpp_libload.ml"
  • [ ] "./bap-ssa.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-ssa.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-ssa.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./frama-c-base.15.0/src/kernel_services/abstract_interp/ival.ml"
  • [ ] "./frama-c-base.15.0/src/kernel_services/abstract_interp/offsetmap.ml"
  • [ ] "./frama-c-base.15.0/src/kernel_services/ast_queries/logic_env.ml"
  • [ ] "./frama-c-base.15.0/src/kernel_services/ast_queries/cil.mli"
  • [ ] "./frama-c-base.15.0/src/plugins/pdg/ctrlDpds.ml"
  • [ ] "./frama-c-base.15.0/src/plugins/metrics/metrics_coverage.mli"
  • [ ] "./frama-c-base.15.0/src/plugins/gui/source_manager.ml"
  • [ ] "./frama-c-base.15.0/src/plugins/aorai/data_for_aorai.mli"
  • [ ] "./frama-c-base.15.0/src/plugins/wp/Lang.mli"
  • [ ] "./frama-c-base.15.0/src/plugins/wp/RefUsage.ml"
  • [ ] "./frama-c-base.15.0/src/plugins/wp/GuiNavigator.ml"
  • [ ] "./bap-recipe.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-recipe.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-recipe.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./bap-std.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-std.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-std.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./bap-trace.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-trace.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-trace.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./libra-tk.1.1.2/src/spn/spn.ml"
  • [ ] "./ocaml-secondary-compiler.4.08.1-1/testsuite/lib/testing.mli"
  • [ ] "./ocaml-secondary-compiler.4.08.1-1/testsuite/tests/typing-poly/poly.ml"
  • [ ] "./ocaml-secondary-compiler.4.08.1-1/testsuite/tests/exotic-syntax/exotic.ml"
  • [ ] "./ocaml-secondary-compiler.4.08.1-1/testsuite/tests/parsetree/source.ml"
  • [ ] "./ocaml-secondary-compiler.4.08.1-1/testsuite/tests/typing-gadts/didier.ml"
  • [ ] "./ocaml-secondary-compiler.4.08.1-1/testsuite/tests/lib-unix/common/channel_of.ml"
  • [ ] "./bap-primus-x86.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-primus-x86.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-primus-x86.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./bap-primus-wandering-scheduler.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-primus-wandering-scheduler.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-primus-wandering-scheduler.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./ocamlbuild-windows.0.12.0/src/ocaml_specific.ml"
  • [ ] "./mascot.1.0/tests/typo_spacesAroundBlocks/a.ml"
  • [ ] "./bap-microx.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-microx.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-microx.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./kind2.1.4.0/src/dead_code/testgen/testgenStrategies.mli"
  • [ ] "./meta_conv.1.1.5/lib/types.ml"
  • [ ] "./mlgmp.20120224/test_suite.ml"
  • [ ] "./ocaml-data-notation.0.0.11/test/data/oasis-examples/PropList.ml"
  • [ ] "./odb-server.0.1/server.ml"
  • [ ] "./smart-print.0.3.0/smartPrint.mli"
  • [ ] "./zephyrus.0.1/src/datatypes/data_model.ml"
  • [ ] "./opam-client.2.1.0~rc2/src/client/opamSwitchCommand.ml"
  • [ ] "./ocamlbuild.0.14.0/src/ocaml_specific.ml"
  • [ ] "./bap-arm.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bap-arm.2.3.0/lib/bap/bap.mli"
  • [ ] "./bap-arm.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./coq-of-ocaml.2.5.1/src/adtConstructors.ml"
  • [ ] "./abella.2.0.7/src/prover.ml"
  • [ ] "./abella.2.0.7/src/pretty.ml"
  • [ ] "./abella.2.0.7/src/metaterm.ml"
  • [ ] "./bitvec-binprot.2.3.0/lib/bap_types/bap_exp.mli"
  • [ ] "./bitvec-binprot.2.3.0/lib/bap/bap.mli"
  • [ ] "./bitvec-binprot.2.3.0/plugins/x86/x86_legacy_bil_disasm_i386.ml"
  • [ ] "./monadlib.0.2/src/monad.mli"
  • [ ] "./lablgtk3.3.1.1/applications/camlirc/channel.ml"
  • [ ] "./lablgtk3.3.1.1/src/gToolbox.mli"
  • [ ] "./lablgtk3.3.1.1/src/glib.mli"
  • [ ] "./lablgtk3.3.1.1/src-unsupported/rsvg.mli"

gpetiot avatar Jul 07 '21 17:07 gpetiot