[region] aliasing annotations & region labels
Showing
- ivette/src/frama-c/plugins/region/api/index.ts 11 additions, 9 deletionsivette/src/frama-c/plugins/region/api/index.ts
- ivette/src/frama-c/plugins/region/memory.tsx 13 additions, 4 deletionsivette/src/frama-c/plugins/region/memory.tsx
- src/plugins/region/annot.ml 64 additions, 64 deletionssrc/plugins/region/annot.ml
- src/plugins/region/annot.mli 16 additions, 16 deletionssrc/plugins/region/annot.mli
- src/plugins/region/code.ml 41 additions, 30 deletionssrc/plugins/region/code.ml
- src/plugins/region/logic.ml 55 additions, 0 deletionssrc/plugins/region/logic.ml
- src/plugins/region/logic.mli 27 additions, 0 deletionssrc/plugins/region/logic.mli
- src/plugins/region/memory.ml 88 additions, 37 deletionssrc/plugins/region/memory.ml
- src/plugins/region/memory.mli 13 additions, 6 deletionssrc/plugins/region/memory.mli
- src/plugins/region/services.ml 5 additions, 0 deletionssrc/plugins/region/services.ml
Loading
Please register or sign in to comment