test-nix
Showing
- .gitlab-ci.yml 192 additions, 169 deletions.gitlab-ci.yml
- Makefile 18 additions, 5 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 14 additions, 5 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
- src/kernel_services/plugin_entry_points/plugin.ml 93 additions, 82 deletionssrc/kernel_services/plugin_entry_points/plugin.ml
Loading
Please register or sign in to comment