Rename Ast_info function to be less misleading
Showing
- src/kernel_internals/runtime/special_hooks.ml 1 addition, 1 deletionsrc/kernel_internals/runtime/special_hooks.ml
- src/kernel_internals/typing/ghost_accesses.ml 1 addition, 1 deletionsrc/kernel_internals/typing/ghost_accesses.ml
- src/kernel_services/ast_queries/ast_info.ml 16 additions, 16 deletionssrc/kernel_services/ast_queries/ast_info.ml
- src/kernel_services/ast_queries/ast_info.mli 34 additions, 6 deletionssrc/kernel_services/ast_queries/ast_info.mli
- src/kernel_services/ast_queries/filecheck.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/filecheck.ml
- src/plugins/eva/engine/function_calls.ml 1 addition, 1 deletionsrc/plugins/eva/engine/function_calls.ml
- src/plugins/eva/engine/transfer_stmt.ml 6 additions, 6 deletionssrc/plugins/eva/engine/transfer_stmt.ml
- src/plugins/eva/partitioning/auto_loop_unroll.ml 1 addition, 1 deletionsrc/plugins/eva/partitioning/auto_loop_unroll.ml
- src/plugins/from/from_compute.ml 1 addition, 1 deletionsrc/plugins/from/from_compute.ml
- src/plugins/gui/property_navigator.ml 1 addition, 1 deletionsrc/plugins/gui/property_navigator.ml
- src/plugins/metrics/metrics_base.ml 1 addition, 1 deletionsrc/plugins/metrics/metrics_base.ml
- src/plugins/report/scan.ml 1 addition, 1 deletionsrc/plugins/report/scan.ml
- src/plugins/rte/visit.ml 1 addition, 1 deletionsrc/plugins/rte/visit.ml
- src/plugins/server/kernel_ast.ml 1 addition, 1 deletionsrc/plugins/server/kernel_ast.ml
- src/plugins/server/kernel_properties.ml 1 addition, 1 deletionsrc/plugins/server/kernel_properties.ml
- src/plugins/variadic/classify.ml 1 addition, 1 deletionsrc/plugins/variadic/classify.ml
Loading
Please register or sign in to comment