[Kernel behavior] Modularize visitor_behavior
Showing
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/analysis/exn_flow.ml 2 additions, 2 deletionssrc/kernel_services/analysis/exn_flow.ml
- src/kernel_services/ast_queries/cil.ml 230 additions, 231 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 145 additions, 146 deletionssrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/ast_queries/logic_utils.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/ast_transformations/filter.ml 33 additions, 33 deletionssrc/kernel_services/ast_transformations/filter.ml
- src/kernel_services/ast_transformations/inline.ml 1 addition, 1 deletionsrc/kernel_services/ast_transformations/inline.ml
- src/kernel_services/visitors/visitor.ml 15 additions, 15 deletionssrc/kernel_services/visitors/visitor.ml
- src/kernel_services/visitors/visitor_behavior.ml 205 additions, 133 deletionssrc/kernel_services/visitors/visitor_behavior.ml
- src/kernel_services/visitors/visitor_behavior.mli 239 additions, 206 deletionssrc/kernel_services/visitors/visitor_behavior.mli
- src/plugins/constant_propagation/api.ml 1 addition, 1 deletionsrc/plugins/constant_propagation/api.ml
- src/plugins/scope/datascope.ml 1 addition, 1 deletionsrc/plugins/scope/datascope.ml
- src/plugins/sparecode/globs.ml 1 addition, 1 deletionsrc/plugins/sparecode/globs.ml
- src/plugins/wp/normAtLabels.ml 1 addition, 1 deletionsrc/plugins/wp/normAtLabels.ml
- tests/misc/bug_0209.ml 1 addition, 1 deletiontests/misc/bug_0209.ml
- tests/spec/property_test.ml 1 addition, 1 deletiontests/spec/property_test.ml
- tests/syntax/Refresh_visitor.ml 4 additions, 4 deletionstests/syntax/Refresh_visitor.ml
- tests/syntax/copy_visitor_bts_1073.ml 5 additions, 5 deletionstests/syntax/copy_visitor_bts_1073.ml
- tests/syntax/transient_block.ml 2 additions, 2 deletionstests/syntax/transient_block.ml
Loading
Please register or sign in to comment