Merge branch '1241-ivette-eva-merge-between-eva-kernel-properties-is-incorrect' into 'master'
[eva] suspicious updates of property status during analysis & summary evaluation Closes #1241 See merge request frama-c/frama-c!4116
Showing
- ivette/src/dome/renderer/table/arrays.ts 5 additions, 0 deletionsivette/src/dome/renderer/table/arrays.ts
- ivette/src/frama-c/kernel/Globals.tsx 27 additions, 6 deletionsivette/src/frama-c/kernel/Globals.tsx
- ivette/src/frama-c/kernel/Properties.tsx 30 additions, 15 deletionsivette/src/frama-c/kernel/Properties.tsx
- src/plugins/eva/api/general_requests.ml 7 additions, 0 deletionssrc/plugins/eva/api/general_requests.ml
- src/plugins/eva/utils/red_statuses.ml 7 additions, 1 deletionsrc/plugins/eva/utils/red_statuses.ml
- src/plugins/eva/utils/red_statuses.mli 3 additions, 0 deletionssrc/plugins/eva/utils/red_statuses.mli
Loading
Please register or sign in to comment