[kernel] Unify is_intptr_t between RTE and Eva and define it in Cil
Showing
- src/kernel_services/ast_queries/cil.ml 12 additions, 0 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 10 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- src/plugins/eva/engine/evaluation.ml 5 additions, 6 deletionssrc/plugins/eva/engine/evaluation.ml
- src/plugins/rte/rte.ml 2 additions, 5 deletionssrc/plugins/rte/rte.ml
Loading
Please register or sign in to comment