[kernel] Extract builtins related functions from cil.ml to cil_builtins.ml
Showing
- Makefile 3 additions, 2 deletionsMakefile
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- src/kernel_services/ast_queries/cil.ml 3 additions, 639 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 33 additions, 57 deletionssrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/ast_queries/cil_builtins.ml 705 additions, 0 deletionssrc/kernel_services/ast_queries/cil_builtins.ml
- src/kernel_services/ast_queries/cil_builtins.mli 98 additions, 0 deletionssrc/kernel_services/ast_queries/cil_builtins.mli
Loading
Please register or sign in to comment