Merge branch 'update-headers-2025' into 'master'
Update headers to 2025 See merge request frama-c/meta!111
Showing
- Makefile 1 addition, 1 deletionMakefile
- MetAcsl.ml 1 addition, 1 deletionMetAcsl.ml
- deduce/model.slog 1 addition, 1 deletiondeduce/model.slog
- deduce/run.pl 1 addition, 1 deletiondeduce/run.pl
- deduce/setlog.pl 1 addition, 0 deletionsdeduce/setlog.pl
- deduce/setlog_rules.pl 1 addition, 0 deletionsdeduce/setlog_rules.pl
- deduce/setloglib.slog 1 addition, 0 deletionsdeduce/setloglib.slog
- dev/release.sh 1 addition, 1 deletiondev/release.sh
- dune 1 addition, 1 deletiondune
- dune-project 1 addition, 1 deletiondune-project
- headers/closed-source/CEA_LGPL_OR_PROPRIETARY.META 1 addition, 1 deletionheaders/closed-source/CEA_LGPL_OR_PROPRIETARY.META
- headers/header_config.txt 1 addition, 1 deletionheaders/header_config.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, 1 deletionmeta_annotate.ml
- meta_annotate.mli 1 addition, 1 deletionmeta_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 1 addition, 1 deletionmeta_deduce.mli
- meta_dispatch.ml 1 addition, 1 deletionmeta_dispatch.ml
Loading
Please register or sign in to comment