Merge branch 'fix/4.13-compat' into 'stable/chromium'
Compile MetAcsl with OCaml 4.13 See merge request frama-c/meta!53
Showing
- .gitignore 4 additions, 3 deletions.gitignore
- Makefile.in 1 addition, 1 deletionMakefile.in
- MetAcsl.mli 4 additions, 4 deletionsMetAcsl.mli
- configure.ac 1 addition, 1 deletionconfigure.ac
- headers/close-source/CEA_LGPL_OR_PROPRIETARY.META 1 addition, 1 deletionheaders/close-source/CEA_LGPL_OR_PROPRIETARY.META
- headers/header_config.txt 2 additions, 1 deletionheaders/header_config.txt
- headers/header_spec.txt 5 additions, 0 deletionsheaders/header_spec.txt
- headers/open-source/CEA_LGPL_OR_PROPRIETARY.META 1 addition, 1 deletionheaders/open-source/CEA_LGPL_OR_PROPRIETARY.META
- meta_annotate.ml 1 addition, 12 deletionsmeta_annotate.ml
- meta_annotate.mli 30 additions, 0 deletionsmeta_annotate.mli
- meta_bindings.ml 1 addition, 1 deletionmeta_bindings.ml
- meta_bindings.mli 1 addition, 1 deletionmeta_bindings.mli
- meta_deduce.ml 1 addition, 1 deletionmeta_deduce.ml
- meta_deduce.mli 38 additions, 0 deletionsmeta_deduce.mli
- meta_dispatch.ml 1 addition, 1 deletionmeta_dispatch.ml
- meta_dispatch.mli 1 addition, 1 deletionmeta_dispatch.mli
- meta_options.ml 2 additions, 4 deletionsmeta_options.ml
- meta_options.mli 76 additions, 0 deletionsmeta_options.mli
- meta_parse.ml 1 addition, 1 deletionmeta_parse.ml
- meta_parse.mli 1 addition, 1 deletionmeta_parse.mli
Loading
Please register or sign in to comment