Merge branch 'feature/kernel/optimize-visitors' into 'master'
[kernel] Improves parsing time by optimizing several AST visitors See merge request frama-c/frama-c!3557
Showing
- src/kernel_internals/typing/allocates.ml 7 additions, 3 deletionssrc/kernel_internals/typing/allocates.ml
- src/kernel_internals/typing/asm_contracts.ml 7 additions, 1 deletionsrc/kernel_internals/typing/asm_contracts.ml
- src/kernel_internals/typing/cfg.ml 8 additions, 0 deletionssrc/kernel_internals/typing/cfg.ml
- src/kernel_internals/typing/ghost_accesses.ml 6 additions, 2 deletionssrc/kernel_internals/typing/ghost_accesses.ml
- src/kernel_internals/typing/rmtmps.ml 16 additions, 12 deletionssrc/kernel_internals/typing/rmtmps.ml
- src/kernel_internals/typing/substitute_const_globals.ml 6 additions, 2 deletionssrc/kernel_internals/typing/substitute_const_globals.ml
- src/kernel_internals/typing/unroll_loops.ml 8 additions, 1 deletionsrc/kernel_internals/typing/unroll_loops.ml
- src/kernel_services/analysis/destructors.ml 13 additions, 16 deletionssrc/kernel_services/analysis/destructors.ml
- src/kernel_services/analysis/exn_flow.ml 13 additions, 2 deletionssrc/kernel_services/analysis/exn_flow.ml
- src/kernel_services/analysis/undefined_sequence.ml 8 additions, 1 deletionsrc/kernel_services/analysis/undefined_sequence.ml
- src/kernel_services/ast_data/kernel_function.ml 17 additions, 13 deletionssrc/kernel_services/ast_data/kernel_function.ml
- src/kernel_services/ast_queries/cil.ml 15 additions, 0 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 6 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/ast_queries/file.ml 8 additions, 1 deletionsrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/logic_utils.ml 9 additions, 0 deletionssrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/ast_transformations/contract_special_float.ml 5 additions, 5 deletions...el_services/ast_transformations/contract_special_float.ml
- src/kernel_services/ast_transformations/inline.ml 6 additions, 1 deletionsrc/kernel_services/ast_transformations/inline.ml
- src/kernel_services/visitors/visitor.ml 7 additions, 0 deletionssrc/kernel_services/visitors/visitor.ml
- src/kernel_services/visitors/visitor.mli 7 additions, 0 deletionssrc/kernel_services/visitors/visitor.mli
- src/plugins/aorai/aorai_utils.ml 1 addition, 2 deletionssrc/plugins/aorai/aorai_utils.ml
Loading
Please register or sign in to comment