Merge branch 'feature/wp/region' into 'master'
[wp] MemRegion See merge request frama-c/frama-c!4815
Showing
- ivette/src/dome/renderer/graph/diagram.tsx 1 addition, 1 deletionivette/src/dome/renderer/graph/diagram.tsx
- ivette/src/frama-c/plugins/region/memory.tsx 10 additions, 11 deletionsivette/src/frama-c/plugins/region/memory.tsx
- src/plugins/region/Region.ml 28 additions, 7 deletionssrc/plugins/region/Region.ml
- src/plugins/region/Region.mli 79 additions, 22 deletionssrc/plugins/region/Region.mli
- src/plugins/region/analysis.ml 0 additions, 9 deletionssrc/plugins/region/analysis.ml
- src/plugins/region/code.ml 9 additions, 10 deletionssrc/plugins/region/code.ml
- src/plugins/region/logic.ml 1 addition, 1 deletionsrc/plugins/region/logic.ml
- src/plugins/region/memory.ml 273 additions, 220 deletionssrc/plugins/region/memory.ml
- src/plugins/region/memory.mli 19 additions, 9 deletionssrc/plugins/region/memory.mli
- src/plugins/region/ranges.ml 5 additions, 6 deletionssrc/plugins/region/ranges.ml
- src/plugins/region/ranges.mli 4 additions, 1 deletionsrc/plugins/region/ranges.mli
- src/plugins/region/register.ml 14 additions, 1 deletionsrc/plugins/region/register.ml
- src/plugins/region/services.ml 11 additions, 4 deletionssrc/plugins/region/services.ml
- src/plugins/region/tests/region/comp.i 0 additions, 0 deletionssrc/plugins/region/tests/region/comp.i
- src/plugins/region/tests/region/oracle/blob.res.oracle 2 additions, 3 deletionssrc/plugins/region/tests/region/oracle/blob.res.oracle
- src/plugins/region/tests/region/oracle/comp.res.oracle 3 additions, 4 deletionssrc/plugins/region/tests/region/oracle/comp.res.oracle
- src/plugins/region/tests/region/oracle/fb_SORT.res.oracle 16 additions, 7 deletionssrc/plugins/region/tests/region/oracle/fb_SORT.res.oracle
- src/plugins/region/tests/region/oracle/union.res.oracle 5 additions, 0 deletionssrc/plugins/region/tests/region/oracle/union.res.oracle
- src/plugins/region/tests/region/union.i 10 additions, 0 deletionssrc/plugins/region/tests/region/union.i
- src/plugins/wp/Factory.ml 22 additions, 19 deletionssrc/plugins/wp/Factory.ml
Loading
Please register or sign in to comment