Merge branch 'fix/martin/kernel/remove-old-deprecated' into 'master'
Remove old deprecated options/functions See merge request frama-c/frama-c!4663
Showing
- doc/userman/user-changes.tex 7 additions, 0 deletionsdoc/userman/user-changes.tex
- doc/userman/user-sources.tex 9 additions, 39 deletionsdoc/userman/user-sources.tex
- man/frama-c.1 0 additions, 36 deletionsman/frama-c.1
- man/frama-c.1.md 0 additions, 21 deletionsman/frama-c.1.md
- src/kernel_internals/typing/cabs2cil.ml 4 additions, 4 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/cil.ml 0 additions, 2 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 0 additions, 5 deletionssrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/ast_queries/logic_typing.mli 4 additions, 3 deletionssrc/kernel_services/ast_queries/logic_typing.mli
- src/kernel_services/ast_queries/logic_utils.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/plugin_entry_points/kernel.ml 0 additions, 75 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 0 additions, 12 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- src/libraries/stdlib/integer.ml 3 additions, 9 deletionssrc/libraries/stdlib/integer.ml
- src/libraries/stdlib/integer.mli 0 additions, 21 deletionssrc/libraries/stdlib/integer.mli
- src/libraries/utils/filepath.ml 0 additions, 2 deletionssrc/libraries/utils/filepath.ml
- src/libraries/utils/filepath.mli 0 additions, 12 deletionssrc/libraries/utils/filepath.mli
- src/plugins/eva/domains/cvalue/builtins_split.ml 2 additions, 2 deletionssrc/plugins/eva/domains/cvalue/builtins_split.ml
- src/plugins/eva/domains/cvalue/cvalue_queries.ml 1 addition, 1 deletionsrc/plugins/eva/domains/cvalue/cvalue_queries.ml
- src/plugins/eva/domains/equality/equality_domain.ml 2 additions, 2 deletionssrc/plugins/eva/domains/equality/equality_domain.ml
- src/plugins/eva/domains/offsm_domain.ml 1 addition, 1 deletionsrc/plugins/eva/domains/offsm_domain.ml
- src/plugins/eva/domains/symbolic_locs.ml 1 addition, 1 deletionsrc/plugins/eva/domains/symbolic_locs.ml
Loading
Please register or sign in to comment