Merge branch 'feature/andre/more-filepath-options' into 'master'
Feature/andre/more filepath options See merge request frama-c/frama-c!3052
Showing
- bin/migration_scripts/titanium2vanadium.sh 3 additions, 1 deletionbin/migration_scripts/titanium2vanadium.sh
- share/analysis-scripts/list_functions.ml 1 addition, 1 deletionshare/analysis-scripts/list_functions.ml
- src/kernel_internals/runtime/special_hooks.ml 4 additions, 4 deletionssrc/kernel_internals/runtime/special_hooks.ml
- src/kernel_services/ast_printing/cil_types_debug.ml 1 addition, 1 deletionsrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_queries/file.ml 9 additions, 9 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/json_compilation_database.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/json_compilation_database.ml
- src/kernel_services/cmdline_parameters/parameter_builder.ml 2 additions, 1 deletionsrc/kernel_services/cmdline_parameters/parameter_builder.ml
- src/kernel_services/cmdline_parameters/parameter_sig.mli 10 additions, 1 deletionsrc/kernel_services/cmdline_parameters/parameter_sig.mli
- src/libraries/datatype/datatype.ml 1 addition, 1 deletionsrc/libraries/datatype/datatype.ml
- src/libraries/project/project.ml 1 addition, 1 deletionsrc/libraries/project/project.ml
- src/libraries/utils/filepath.ml 4 additions, 2 deletionssrc/libraries/utils/filepath.ml
- src/libraries/utils/filepath.mli 16 additions, 2 deletionssrc/libraries/utils/filepath.mli
- src/plugins/aorai/aorai_option.ml 1 addition, 1 deletionsrc/plugins/aorai/aorai_option.ml
- src/plugins/aorai/aorai_register.ml 18 additions, 21 deletionssrc/plugins/aorai/aorai_register.ml
- src/plugins/callgraph/Callgraph.mli 1 addition, 1 deletionsrc/plugins/callgraph/Callgraph.mli
- src/plugins/callgraph/options.ml 6 additions, 3 deletionssrc/plugins/callgraph/options.ml
- src/plugins/callgraph/options.mli 1 addition, 1 deletionsrc/plugins/callgraph/options.mli
- src/plugins/callgraph/register.ml 1 addition, 1 deletionsrc/plugins/callgraph/register.ml
- src/plugins/dive/main.ml 8 additions, 8 deletionssrc/plugins/dive/main.ml
- src/plugins/dive/self.ml 10 additions, 6 deletionssrc/plugins/dive/self.ml
Loading
Please register or sign in to comment