[CilBuilder] new module to help building Cil AST
Showing
- Makefile 3 additions, 1 deletionMakefile
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- share/Makefile.common 1 addition, 0 deletionsshare/Makefile.common
- src/kernel_services/ast_building/cil_builder.ml 631 additions, 0 deletionssrc/kernel_services/ast_building/cil_builder.ml
- src/kernel_services/ast_building/cil_builder.mli 199 additions, 0 deletionssrc/kernel_services/ast_building/cil_builder.mli
Loading
Please register or sign in to comment