[ivette] Removing the old Eva component
Showing
- ivette/Makefile.distrib 0 additions, 9 deletionsivette/Makefile.distrib
- ivette/headers/header_spec.txt 1 addition, 10 deletionsivette/headers/header_spec.txt
- ivette/src/frama-c/plugins/eva/cells.ts 0 additions, 236 deletionsivette/src/frama-c/plugins/eva/cells.ts
- ivette/src/frama-c/plugins/eva/diffed.tsx 0 additions, 182 deletionsivette/src/frama-c/plugins/eva/diffed.tsx
- ivette/src/frama-c/plugins/eva/index.tsx 1 addition, 1 deletionivette/src/frama-c/plugins/eva/index.tsx
- ivette/src/frama-c/plugins/eva/layout.ts 0 additions, 237 deletionsivette/src/frama-c/plugins/eva/layout.ts
- ivette/src/frama-c/plugins/eva/model.ts 0 additions, 316 deletionsivette/src/frama-c/plugins/eva/model.ts
- ivette/src/frama-c/plugins/eva/probeinfos.tsx 0 additions, 172 deletionsivette/src/frama-c/plugins/eva/probeinfos.tsx
- ivette/src/frama-c/plugins/eva/probes.ts 0 additions, 114 deletionsivette/src/frama-c/plugins/eva/probes.ts
- ivette/src/frama-c/plugins/eva/sized.tsx 0 additions, 141 deletionsivette/src/frama-c/plugins/eva/sized.tsx
- ivette/src/frama-c/plugins/eva/stacks.ts 0 additions, 141 deletionsivette/src/frama-c/plugins/eva/stacks.ts
- ivette/src/frama-c/plugins/eva/state.tsx 0 additions, 820 deletionsivette/src/frama-c/plugins/eva/state.tsx
- ivette/src/frama-c/plugins/eva/valueinfos.tsx 0 additions, 148 deletionsivette/src/frama-c/plugins/eva/valueinfos.tsx
- ivette/src/frama-c/plugins/eva/valuetable.tsx 735 additions, 330 deletionsivette/src/frama-c/plugins/eva/valuetable.tsx
Loading
Please register or sign in to comment