Merge branch 'fix/ivette/astview-dead-code' into 'master'
[Ivette] Fixes computation of unreachable statements. Closes #1300 See merge request frama-c/frama-c!4317
No related branches found
No related tags found
Showing
- ivette/src/dome/renderer/text/editor.tsx 16 additions, 1 deletionivette/src/dome/renderer/text/editor.tsx
- ivette/src/frama-c/kernel/ASTview.tsx 28 additions, 4 deletionsivette/src/frama-c/kernel/ASTview.tsx
- ivette/src/frama-c/plugins/eva/api/general/index.ts 6 additions, 2 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- src/plugins/eva/api/general_requests.ml 28 additions, 22 deletionssrc/plugins/eva/api/general_requests.ml
Loading
Please register or sign in to comment