Merge branch 'feature/kernel/admit' into 'master'
new predicate kind Admit See merge request frama-c/frama-c!2911
No related branches found
No related tags found
Showing
- src/kernel_internals/parsing/logic_lexer.mll 11 additions, 1 deletionsrc/kernel_internals/parsing/logic_lexer.mll
- src/kernel_internals/parsing/logic_parser.mly 48 additions, 25 deletionssrc/kernel_internals/parsing/logic_parser.mly
- src/kernel_services/analysis/interpreted_automata.ml 7 additions, 2 deletionssrc/kernel_services/analysis/interpreted_automata.ml
- src/kernel_services/ast_data/annotations.ml 7 additions, 2 deletionssrc/kernel_services/ast_data/annotations.ml
- src/kernel_services/ast_data/annotations.mli 6 additions, 0 deletionssrc/kernel_services/ast_data/annotations.mli
- src/kernel_services/ast_data/cil_types.mli 6 additions, 1 deletionsrc/kernel_services/ast_data/cil_types.mli
- src/kernel_services/ast_data/property.ml 23 additions, 28 deletionssrc/kernel_services/ast_data/property.ml
- src/kernel_services/ast_data/property_status.ml 74 additions, 133 deletionssrc/kernel_services/ast_data/property_status.ml
- src/kernel_services/ast_data/property_status.mli 2 additions, 2 deletionssrc/kernel_services/ast_data/property_status.mli
- src/kernel_services/ast_data/statuses_by_call.ml 2 additions, 2 deletionssrc/kernel_services/ast_data/statuses_by_call.ml
- src/kernel_services/ast_printing/cil_printer.ml 15 additions, 8 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_printing/cil_types_debug.ml 7 additions, 2 deletionssrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_printing/description.ml 27 additions, 17 deletionssrc/kernel_services/ast_printing/description.ml
- src/kernel_services/ast_printing/logic_print.ml 17 additions, 5 deletionssrc/kernel_services/ast_printing/logic_print.ml
- src/kernel_services/ast_queries/cil_datatype.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/ast_queries/logic_const.ml 4 additions, 4 deletionssrc/kernel_services/ast_queries/logic_const.ml
- src/kernel_services/ast_queries/logic_const.mli 9 additions, 6 deletionssrc/kernel_services/ast_queries/logic_const.mli
- src/kernel_services/ast_queries/logic_typing.ml 8 additions, 9 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_utils.ml 9 additions, 3 deletionssrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/ast_queries/logic_utils.mli 10 additions, 0 deletionssrc/kernel_services/ast_queries/logic_utils.mli
Loading
Please register or sign in to comment