Merge branch 'fix/andre/file-cpp-minor-refactoring' into 'master'
Refactor JCDB, File and fix bug related to logic preprocessing Closes #1003 See merge request frama-c/frama-c!3023
No related branches found
No related tags found
Showing
- src/kernel_internals/parsing/logic_preprocess.mll 4 additions, 1 deletionsrc/kernel_internals/parsing/logic_preprocess.mll
- src/kernel_services/ast_queries/file.ml 76 additions, 79 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/file.mli 12 additions, 6 deletionssrc/kernel_services/ast_queries/file.mli
- src/kernel_services/ast_queries/json_compilation_database.ml 53 additions, 47 deletionssrc/kernel_services/ast_queries/json_compilation_database.ml
- src/kernel_services/plugin_entry_points/kernel.ml 1 addition, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 2 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- tests/jcdb/jcdb.c 1 addition, 0 deletionstests/jcdb/jcdb.c
- tests/jcdb/logic-pp-include/compile_commands.json 11 additions, 0 deletionstests/jcdb/logic-pp-include/compile_commands.json
- tests/jcdb/logic-pp-include/no-stdio.c 7 additions, 0 deletionstests/jcdb/logic-pp-include/no-stdio.c
- tests/jcdb/oracle/logic-pp-include.err 0 additions, 0 deletionstests/jcdb/oracle/logic-pp-include.err
- tests/jcdb/oracle/logic-pp-include.res 16 additions, 0 deletionstests/jcdb/oracle/logic-pp-include.res
- tests/syntax/cpp-command.c 11 additions, 1 deletiontests/syntax/cpp-command.c
- tests/syntax/oracle/cpp-command.0.res.oracle 1 addition, 1 deletiontests/syntax/oracle/cpp-command.0.res.oracle
- tests/syntax/oracle/cpp-command.1.res.oracle 1 addition, 1 deletiontests/syntax/oracle/cpp-command.1.res.oracle
- tests/syntax/oracle/cpp-command.4.res.oracle 1 addition, 1 deletiontests/syntax/oracle/cpp-command.4.res.oracle
- tests/syntax/oracle/cpp-command.5.res.oracle 21 additions, 0 deletionstests/syntax/oracle/cpp-command.5.res.oracle
Loading
Please register or sign in to comment