Merge branch...
Merge branch 'fix/martin/kernel/1293-misleading-api-function-annotations-iter_behaviors' into 'master' Resolve "Misleading API function Annotations.iter_behaviors" Closes #1293 See merge request frama-c/frama-c!4294
Showing
- src/kernel_services/ast_data/annotations.ml 8 additions, 2 deletionssrc/kernel_services/ast_data/annotations.ml
- src/kernel_services/ast_data/annotations.mli 17 additions, 3 deletionssrc/kernel_services/ast_data/annotations.mli
- src/kernel_services/visitors/visitor.ml 1 addition, 1 deletionsrc/kernel_services/visitors/visitor.ml
- src/plugins/e-acsl/examples/demo/script.ml 1 addition, 1 deletionsrc/plugins/e-acsl/examples/demo/script.ml
- src/plugins/e-acsl/src/analyses/memory_tracking.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/analyses/memory_tracking.ml
- src/plugins/e-acsl/src/project_initializer/prepare_ast.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/project_initializer/prepare_ast.ml
- src/plugins/instantiate/transform.ml 1 addition, 1 deletionsrc/plugins/instantiate/transform.ml
- src/plugins/metrics/metrics_acsl.ml 1 addition, 1 deletionsrc/plugins/metrics/metrics_acsl.ml
- src/plugins/obfuscator/obfuscate.ml 1 addition, 1 deletionsrc/plugins/obfuscator/obfuscate.ml
- src/plugins/wp/wpTarget.ml 1 addition, 1 deletionsrc/plugins/wp/wpTarget.ml
- tests/libc/check_libc_naming_conventions.ml 1 addition, 1 deletiontests/libc/check_libc_naming_conventions.ml
Loading
Please register or sign in to comment