[ivette/eva] refactor state into model
Showing
- ivette/src/frama-c/eva/cells.ts 14 additions, 3 deletionsivette/src/frama-c/eva/cells.ts
- ivette/src/frama-c/eva/diffed.tsx 3 additions, 3 deletionsivette/src/frama-c/eva/diffed.tsx
- ivette/src/frama-c/eva/model.ts 2 additions, 2 deletionsivette/src/frama-c/eva/model.ts
- ivette/src/frama-c/eva/probes.ts 9 additions, 8 deletionsivette/src/frama-c/eva/probes.ts
- ivette/src/frama-c/eva/stacks.ts 6 additions, 6 deletionsivette/src/frama-c/eva/stacks.ts
Loading
Please register or sign in to comment