Merge branch 'feature/bump-ocaml-version' into 'master'
Update compiler requirements See merge request frama-c/frama-c!2329
No related branches found
No related tags found
Showing
- Changelog 2 additions, 1 deletionChangelog
- INSTALL.md 2 additions, 2 deletionsINSTALL.md
- Makefile 2 additions, 5 deletionsMakefile
- Makefile.generating 0 additions, 24 deletionsMakefile.generating
- bin/migration_scripts/potassium2calcium.sh 159 additions, 0 deletionsbin/migration_scripts/potassium2calcium.sh
- configure.in 2 additions, 20 deletionsconfigure.in
- doc/userman/user-changes.tex 1 addition, 1 deletiondoc/userman/user-changes.tex
- doc/userman/user-start.tex 1 addition, 1 deletiondoc/userman/user-start.tex
- headers/header_spec.txt 1 addition, 0 deletionsheaders/header_spec.txt
- opam/opam 2 additions, 2 deletionsopam/opam
- share/Makefile.config.in 0 additions, 3 deletionsshare/Makefile.config.in
- share/Makefile.plugin.template 1 addition, 6 deletionsshare/Makefile.plugin.template
- src/kernel_services/ast_data/alarms.ml 1 addition, 1 deletionsrc/kernel_services/ast_data/alarms.ml
- src/kernel_services/ast_printing/description.ml 1 addition, 1 deletionsrc/kernel_services/ast_printing/description.ml
- src/kernel_services/ast_queries/cil.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/file.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/logic_typing.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_utils.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/ast_transformations/inline.ml 1 addition, 1 deletionsrc/kernel_services/ast_transformations/inline.ml
- src/kernel_services/cmdline_parameters/cmdline.ml 2 additions, 2 deletionssrc/kernel_services/cmdline_parameters/cmdline.ml
Loading
Please register or sign in to comment