From 4f5af542e014349000232aa81b9f2f2bc7f31dba Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Fri, 18 May 2018 15:08:05 +0200 Subject: [PATCH] [lint] KO status for e-acsl sources --- src/plugins/e-acsl/.Makefile.lint | 43 +++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 src/plugins/e-acsl/.Makefile.lint diff --git a/src/plugins/e-acsl/.Makefile.lint b/src/plugins/e-acsl/.Makefile.lint new file mode 100644 index 00000000000..758d9b5af38 --- /dev/null +++ b/src/plugins/e-acsl/.Makefile.lint @@ -0,0 +1,43 @@ +ML_LINT_KO+=src/plugins/e-acsl/E_ACSL.mli +ML_LINT_KO+=src/plugins/e-acsl/at_with_lscope.ml +ML_LINT_KO+=src/plugins/e-acsl/at_with_lscope.mli +ML_LINT_KO+=src/plugins/e-acsl/builtins.ml +ML_LINT_KO+=src/plugins/e-acsl/demo/script.ml +ML_LINT_KO+=src/plugins/e-acsl/dup_functions.ml +ML_LINT_KO+=src/plugins/e-acsl/env.ml +ML_LINT_KO+=src/plugins/e-acsl/env.mli +ML_LINT_KO+=src/plugins/e-acsl/error.ml +ML_LINT_KO+=src/plugins/e-acsl/error.mli +ML_LINT_KO+=src/plugins/e-acsl/exit_points.ml +ML_LINT_KO+=src/plugins/e-acsl/exit_points.mli +ML_LINT_KO+=src/plugins/e-acsl/functions.ml +ML_LINT_KO+=src/plugins/e-acsl/functions.mli +ML_LINT_KO+=src/plugins/e-acsl/gmpz.ml +ML_LINT_KO+=src/plugins/e-acsl/gmpz.mli +ML_LINT_KO+=src/plugins/e-acsl/interval.ml +ML_LINT_KO+=src/plugins/e-acsl/keep_status.ml +ML_LINT_KO+=src/plugins/e-acsl/label.ml +ML_LINT_KO+=src/plugins/e-acsl/literal_strings.ml +ML_LINT_KO+=src/plugins/e-acsl/loops.ml +ML_LINT_KO+=src/plugins/e-acsl/loops.mli +ML_LINT_KO+=src/plugins/e-acsl/lscope.ml +ML_LINT_KO+=src/plugins/e-acsl/lscope.mli +ML_LINT_KO+=src/plugins/e-acsl/main.ml +ML_LINT_KO+=src/plugins/e-acsl/misc.ml +ML_LINT_KO+=src/plugins/e-acsl/misc.mli +ML_LINT_KO+=src/plugins/e-acsl/mmodel_analysis.ml +ML_LINT_KO+=src/plugins/e-acsl/mmodel_translate.ml +ML_LINT_KO+=src/plugins/e-acsl/mmodel_translate.mli +ML_LINT_KO+=src/plugins/e-acsl/options.ml +ML_LINT_KO+=src/plugins/e-acsl/prepare_ast.ml +ML_LINT_KO+=src/plugins/e-acsl/quantif.ml +ML_LINT_KO+=src/plugins/e-acsl/quantif.mli +ML_LINT_KO+=src/plugins/e-acsl/rte.ml +ML_LINT_KO+=src/plugins/e-acsl/temporal.ml +ML_LINT_KO+=src/plugins/e-acsl/temporal.mli +ML_LINT_KO+=src/plugins/e-acsl/top/E_ACSL.mli +ML_LINT_KO+=src/plugins/e-acsl/translate.ml +ML_LINT_KO+=src/plugins/e-acsl/translate.mli +ML_LINT_KO+=src/plugins/e-acsl/typing.ml +ML_LINT_KO+=src/plugins/e-acsl/typing.mli +ML_LINT_KO+=src/plugins/e-acsl/visit.ml -- GitLab