-
- Downloads
Merge branch 'fix/andre/initialisation-spelling' into 'master'
Use US spelling for initialisation -> initialization See merge request frama-c/frama-c!1630
No related branches found
No related tags found
Showing
- share/Makefile.plugin.template 1 addition, 1 deletionshare/Makefile.plugin.template
- src/kernel_internals/runtime/README.md 1 addition, 1 deletionsrc/kernel_internals/runtime/README.md
- src/kernel_internals/runtime/gui_init.mli 1 addition, 1 deletionsrc/kernel_internals/runtime/gui_init.mli
- src/kernel_services/ast_data/alarms.ml 2 additions, 2 deletionssrc/kernel_services/ast_data/alarms.ml
- src/kernel_services/ast_data/ast.mli 1 addition, 1 deletionsrc/kernel_services/ast_data/ast.mli
- src/kernel_services/ast_queries/file.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/logic_utils.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/cmdline_parameters/cmdline.mli 1 addition, 1 deletionsrc/kernel_services/cmdline_parameters/cmdline.mli
- src/plugins/metrics/metrics_coverage.ml 1 addition, 1 deletionsrc/plugins/metrics/metrics_coverage.ml
- src/plugins/report/tests/report/oracle/csv.csv 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/csv.csv
- src/plugins/rte/rte.ml 1 addition, 1 deletionsrc/plugins/rte/rte.ml
- src/plugins/sparecode/register.ml 1 addition, 1 deletionsrc/plugins/sparecode/register.ml
- src/plugins/value/engine/compute_functions.ml 1 addition, 1 deletionsrc/plugins/value/engine/compute_functions.ml
- src/plugins/value/engine/initialization.ml 1 addition, 1 deletionsrc/plugins/value/engine/initialization.ml
- src/plugins/value/gui_files/gui_red.ml 1 addition, 1 deletionsrc/plugins/value/gui_files/gui_red.ml
- src/plugins/variadic/tests/known/oracle/scanf_wrong.res.oracle 2 additions, 2 deletions...lugins/variadic/tests/known/oracle/scanf_wrong.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_print.res.oracle 2 additions, 2 deletions...lugins/variadic/tests/known/oracle/stdio_print.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_scan.res.oracle 2 additions, 2 deletions...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle
- src/plugins/wp/calculus.ml 1 addition, 1 deletionsrc/plugins/wp/calculus.ml
- tests/callgraph/oracle/issue_55_iter_over_unregistered_function.res.oracle 1 addition, 1 deletion...racle/issue_55_iter_over_unregistered_function.res.oracle
Loading
Please register or sign in to comment