[region] pretty print field offsets
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 7 additions, 3 deletionsivette/src/frama-c/plugins/region/api/index.ts
- ivette/src/frama-c/plugins/region/memory.tsx 3 additions, 6 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 92 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 85 additions, 45 deletionssrc/plugins/region/memory.ml
- src/plugins/region/memory.mli 2 additions, 1 deletionsrc/plugins/region/memory.mli
- src/plugins/region/services.ml 3 additions, 0 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