[kernel] reorganize system config
Showing
- share/analysis-scripts/list_functions.ml 1 addition, 1 deletionshare/analysis-scripts/list_functions.ml
- src/init/toplevel/toplevel_config.ml 1 addition, 1 deletionsrc/init/toplevel/toplevel_config.ml
- src/kernel_internals/runtime/dump_config.ml 16 additions, 16 deletionssrc/kernel_internals/runtime/dump_config.ml
- src/kernel_internals/runtime/special_hooks.ml 11 additions, 11 deletionssrc/kernel_internals/runtime/special_hooks.ml
- src/kernel_internals/runtime/system_config.ml.in 45 additions, 38 deletionssrc/kernel_internals/runtime/system_config.ml.in
- src/kernel_internals/runtime/system_config.mli 79 additions, 83 deletionssrc/kernel_internals/runtime/system_config.mli
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/cil_builtins.ml 2 additions, 2 deletionssrc/kernel_services/ast_queries/cil_builtins.ml
- src/kernel_services/ast_queries/file.ml 6 additions, 6 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/cmdline_parameters/cmdline.ml 2 additions, 2 deletionssrc/kernel_services/cmdline_parameters/cmdline.ml
- src/kernel_services/plugin_entry_points/plugin.ml 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/plugin.ml
- src/libraries/project/project.ml 2 additions, 2 deletionssrc/libraries/project/project.ml
- src/plugins/eva/domains/cvalue/builtins.ml 1 addition, 1 deletionsrc/plugins/eva/domains/cvalue/builtins.ml
- src/plugins/eva/utils/library_functions.ml 1 addition, 1 deletionsrc/plugins/eva/utils/library_functions.ml
- src/plugins/gui/design.ml 2 additions, 2 deletionssrc/plugins/gui/design.ml
- src/plugins/gui/filetree.ml 1 addition, 1 deletionsrc/plugins/gui/filetree.ml
- src/plugins/gui/gtk_helper.ml 2 additions, 2 deletionssrc/plugins/gui/gtk_helper.ml
- src/plugins/gui/help_manager.ml 1 addition, 1 deletionsrc/plugins/gui/help_manager.ml
- src/plugins/markdown-report/sarif_gen.ml 1 addition, 1 deletionsrc/plugins/markdown-report/sarif_gen.ml
- src/plugins/server/kernel_main.ml 3 additions, 3 deletionssrc/plugins/server/kernel_main.ml
Loading
Please register or sign in to comment