Merge branch 'fix/interface-files' into 'master'
Creates missing .mli interface files See merge request frama-c/frama-c!3349
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 9 additions, 2 deletions.gitlab-ci.yml
- Makefile 1 addition, 1 deletionMakefile
- headers/header_spec.txt 56 additions, 6 deletionsheaders/header_spec.txt
- nix/default.nix 12 additions, 5 deletionsnix/default.nix
- nix/frama-ci.nix 2 additions, 2 deletionsnix/frama-ci.nix
- nix/frama-ci.sh 1 addition, 1 deletionnix/frama-ci.sh
- share/Makefile.plugin.template 1 addition, 1 deletionshare/Makefile.plugin.template
- src/kernel_internals/runtime/boot.mli 23 additions, 0 deletionssrc/kernel_internals/runtime/boot.mli
- src/kernel_services/ast_transformations/contract_special_float.mli 2 additions, 0 deletions...l_services/ast_transformations/contract_special_float.mli
- src/kernel_services/plugin_entry_points/dynamic.ml 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/dynamic.ml
- src/plugins/aorai/aorai_register.ml 16 additions, 58 deletionssrc/plugins/aorai/aorai_register.ml
- src/plugins/aorai/aorai_register.mli 26 additions, 0 deletionssrc/plugins/aorai/aorai_register.mli
- src/plugins/aorai/aorai_visitors.ml 0 additions, 8 deletionssrc/plugins/aorai/aorai_visitors.ml
- src/plugins/aorai/aorai_visitors.mli 58 additions, 0 deletionssrc/plugins/aorai/aorai_visitors.mli
- src/plugins/aorai/ltllexer.mli 31 additions, 0 deletionssrc/plugins/aorai/ltllexer.mli
- src/plugins/aorai/ltllexer.mll 8 additions, 49 deletionssrc/plugins/aorai/ltllexer.mll
- src/plugins/aorai/path_analysis.ml 0 additions, 87 deletionssrc/plugins/aorai/path_analysis.ml
- src/plugins/aorai/path_analysis.mli 40 additions, 0 deletionssrc/plugins/aorai/path_analysis.mli
- src/plugins/aorai/promelaast.mli 3 additions, 1 deletionsrc/plugins/aorai/promelaast.mli
- src/plugins/aorai/promelalexer.mli 26 additions, 0 deletionssrc/plugins/aorai/promelalexer.mli
Loading
Please register or sign in to comment