Merge remote-tracking branch 'origin/stable/scandium'
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 5 additions, 40 deletions.gitlab-ci.yml
- Changelog 1980 additions, 1973 deletionsChangelog
- INSTALL.md 39 additions, 44 deletionsINSTALL.md
- README.md 7 additions, 9 deletionsREADME.md
- VERSION 1 addition, 1 deletionVERSION
- VERSION_CODENAME 1 addition, 1 deletionVERSION_CODENAME
- doc/frama-c-book.cls 1 addition, 1 deletiondoc/frama-c-book.cls
- doc/release/branch.tex 1 addition, 1 deletiondoc/release/branch.tex
- doc/release/build.tex 2 additions, 2 deletionsdoc/release/build.tex
- doc/value/makefile 3 additions, 3 deletionsdoc/value/makefile
- nix/default.nix 17 additions, 18 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
- opam/opam 2 additions, 1 deletionopam/opam
- src/kernel_internals/typing/mergecil.ml 24 additions, 12 deletionssrc/kernel_internals/typing/mergecil.ml
- src/kernel_services/ast_data/kernel_function.mli 4 additions, 4 deletionssrc/kernel_services/ast_data/kernel_function.mli
- src/kernel_services/ast_printing/cil_printer.mli 5 additions, 5 deletionssrc/kernel_services/ast_printing/cil_printer.mli
- src/kernel_services/ast_printing/printer_api.mli 1 addition, 1 deletionsrc/kernel_services/ast_printing/printer_api.mli
- src/kernel_services/ast_queries/acsl_extension.mli 1 addition, 1 deletionsrc/kernel_services/ast_queries/acsl_extension.mli
- src/kernel_services/ast_queries/cil.mli 5 additions, 5 deletionssrc/kernel_services/ast_queries/cil.mli
Loading
Please register or sign in to comment