Merge branch 'feature/andre/refactor-sys-file' into 'master'
Refactor some file-related functions See merge request frama-c/frama-c!4044
Showing
- src/kernel_internals/runtime/machdep.ml 0 additions, 1 deletionsrc/kernel_internals/runtime/machdep.ml
- src/kernel_services/ast_queries/file.ml 8 additions, 8 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/json_compilation_database.ml 9 additions, 9 deletionssrc/kernel_services/ast_queries/json_compilation_database.ml
- src/kernel_services/plugin_entry_points/dynamic.ml 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/dynamic.ml
- src/kernel_services/plugin_entry_points/plugin.ml 7 additions, 8 deletionssrc/kernel_services/plugin_entry_points/plugin.ml
- src/libraries/datatype/datatype.ml 1 addition, 0 deletionssrc/libraries/datatype/datatype.ml
- src/libraries/datatype/datatype.mli 1 addition, 0 deletionssrc/libraries/datatype/datatype.mli
- src/libraries/stdlib/extlib.ml 22 additions, 12 deletionssrc/libraries/stdlib/extlib.ml
- src/libraries/stdlib/extlib.mli 10 additions, 4 deletionssrc/libraries/stdlib/extlib.mli
- src/libraries/utils/command.ml 14 additions, 16 deletionssrc/libraries/utils/command.ml
- src/libraries/utils/command.mli 7 additions, 9 deletionssrc/libraries/utils/command.mli
- src/libraries/utils/filepath.ml 27 additions, 2 deletionssrc/libraries/utils/filepath.ml
- src/libraries/utils/filepath.mli 45 additions, 1 deletionsrc/libraries/utils/filepath.mli
- src/libraries/utils/json.mli 2 additions, 2 deletionssrc/libraries/utils/json.mli
- src/libraries/utils/json.mll 5 additions, 5 deletionssrc/libraries/utils/json.mll
- src/plugins/aorai/aorai_register.ml 5 additions, 3 deletionssrc/plugins/aorai/aorai_register.ml
- src/plugins/api-generator/api_generator.ml 6 additions, 5 deletionssrc/plugins/api-generator/api_generator.ml
- src/plugins/markdown-report/md_gen.ml 2 additions, 2 deletionssrc/plugins/markdown-report/md_gen.ml
- src/plugins/markdown-report/sarif_gen.ml 2 additions, 2 deletionssrc/plugins/markdown-report/sarif_gen.ml
- src/plugins/report/classify.ml 2 additions, 2 deletionssrc/plugins/report/classify.ml
Loading
Please register or sign in to comment