Merge branch 'prepare-release-update-version' into 'stable/nickel'
Prepare release update version See merge request frama-c/frama-c!4381
Showing
- Changelog 4 additions, 0 deletionsChangelog
- INSTALL.md 3 additions, 3 deletionsINSTALL.md
- VERSION 1 addition, 1 deletionVERSION
- VERSION_CODENAME 1 addition, 1 deletionVERSION_CODENAME
- bin/frama-c-build-scripts.sh 1 addition, 1 deletionbin/frama-c-build-scripts.sh
- dev/set-version.sh 12 additions, 8 deletionsdev/set-version.sh
- doc/LICENSE 1 addition, 1 deletiondoc/LICENSE
- doc/developer/check_api/check_and_compare.ml 1 addition, 1 deletiondoc/developer/check_api/check_and_compare.ml
- doc/developer/check_api/check_code.ml 1 addition, 1 deletiondoc/developer/check_api/check_code.ml
- doc/developer/check_api/check_index_lexer.mll 1 addition, 1 deletiondoc/developer/check_api/check_index_lexer.mll
- doc/developer/tutorial/hello/src/dune 1 addition, 1 deletiondoc/developer/tutorial/hello/src/dune
- doc/developer/tutorial/hello/src/dune-project 1 addition, 1 deletiondoc/developer/tutorial/hello/src/dune-project
- doc/developer/tutorial/viewcfg/Makefile 1 addition, 1 deletiondoc/developer/tutorial/viewcfg/Makefile
- doc/developer/tutorial/viewcfg/src/Makefile.split 1 addition, 1 deletiondoc/developer/tutorial/viewcfg/src/Makefile.split
- doc/release/branch.tex 11 additions, 7 deletionsdoc/release/branch.tex
- opam 2 additions, 2 deletionsopam
- reference-configuration.md 1 addition, 1 deletionreference-configuration.md
- src/kernel_internals/typing/populate_spec.mli 1 addition, 1 deletionsrc/kernel_internals/typing/populate_spec.mli
- src/kernel_services/ast_data/annotations.mli 6 additions, 6 deletionssrc/kernel_services/ast_data/annotations.mli
- src/kernel_services/ast_data/kernel_function.mli 1 addition, 1 deletionsrc/kernel_services/ast_data/kernel_function.mli
Loading
Please register or sign in to comment