Merge remote-tracking branch 'origin/master' into fix/patrick/wp-partial-initializer
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- .gitlab-ci.yml 192 additions, 169 deletions.gitlab-ci.yml
- Makefile 41 additions, 16 deletionsMakefile
- Makefile.generating 6 additions, 0 deletionsMakefile.generating
- default.nix 15 additions, 0 deletionsdefault.nix
- nix/default.nix 238 additions, 0 deletionsnix/default.nix
- nix/empty 0 additions, 0 deletionsnix/empty
- nix/frama-ci.nix 15 additions, 0 deletionsnix/frama-ci.nix
- nix/frama-ci.sh 12 additions, 0 deletionsnix/frama-ci.sh
- share/META.frama-c 16 additions, 0 deletionsshare/META.frama-c
- share/Makefile.config.in 6 additions, 4 deletionsshare/Makefile.config.in
- share/Makefile.dynamic 4 additions, 3 deletionsshare/Makefile.dynamic
- share/Makefile.dynamic_config.external 4 additions, 1 deletionshare/Makefile.dynamic_config.external
- share/Makefile.dynamic_config.internal 3 additions, 0 deletionsshare/Makefile.dynamic_config.internal
- share/Makefile.plugin.template 26 additions, 11 deletionsshare/Makefile.plugin.template
- src/kernel_internals/runtime/config.ml.in 23 additions, 10 deletionssrc/kernel_internals/runtime/config.ml.in
- src/kernel_internals/runtime/config.mli 11 additions, 1 deletionsrc/kernel_internals/runtime/config.mli
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/file.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/file.ml
- src/kernel_services/plugin_entry_points/dynamic.ml 4 additions, 3 deletionssrc/kernel_services/plugin_entry_points/dynamic.ml
Loading
Please register or sign in to comment