Merge branch 'feature/region/fix-arrows' into 'master'
[wp] fix region map display See merge request frama-c/frama-c!4693
No related branches found
No related tags found
Showing
- ivette/src/dome/renderer/graph/diagram.tsx 1 addition, 1 deletionivette/src/dome/renderer/graph/diagram.tsx
- ivette/src/frama-c/plugins/region/api/index.ts 16 additions, 20 deletionsivette/src/frama-c/plugins/region/api/index.ts
- ivette/src/frama-c/plugins/region/index.tsx 4 additions, 2 deletionsivette/src/frama-c/plugins/region/index.tsx
- ivette/src/frama-c/plugins/region/memory.tsx 45 additions, 20 deletionsivette/src/frama-c/plugins/region/memory.tsx
- src/libraries/utils/json.mli 2 additions, 1 deletionsrc/libraries/utils/json.mli
- src/libraries/utils/json.mll 5 additions, 2 deletionssrc/libraries/utils/json.mll
- src/plugins/region/fields.ml 97 additions, 0 deletionssrc/plugins/region/fields.ml
- src/plugins/region/fields.mli 43 additions, 0 deletionssrc/plugins/region/fields.mli
- src/plugins/region/memory.ml 93 additions, 44 deletionssrc/plugins/region/memory.ml
- src/plugins/region/memory.mli 2 additions, 1 deletionsrc/plugins/region/memory.mli
- src/plugins/region/services.ml 13 additions, 10 deletionssrc/plugins/region/services.ml
- src/plugins/region/tests/region/oracle/blob.res.oracle 2 additions, 2 deletionssrc/plugins/region/tests/region/oracle/blob.res.oracle
- src/plugins/region/tests/region/oracle/comp.res.oracle 2 additions, 2 deletionssrc/plugins/region/tests/region/oracle/comp.res.oracle
- src/plugins/region/tests/region/oracle/fb_ADD.res.oracle 3 additions, 3 deletionssrc/plugins/region/tests/region/oracle/fb_ADD.res.oracle
- src/plugins/region/tests/region/oracle/fb_SORT.res.oracle 15 additions, 12 deletionssrc/plugins/region/tests/region/oracle/fb_SORT.res.oracle
Loading
Please register or sign in to comment