[Eva] export computation state through server API
Showing
- ivette/src/frama-c/api/generated/plugins/eva/general/index.ts 45 additions, 5 deletions...te/src/frama-c/api/generated/plugins/eva/general/index.ts
- ivette/src/frama-c/kernel/Globals.tsx 2 additions, 2 deletionsivette/src/frama-c/kernel/Globals.tsx
- ivette/src/frama-c/plugins/eva/Summary.tsx 31 additions, 15 deletionsivette/src/frama-c/plugins/eva/Summary.tsx
- ivette/src/frama-c/plugins/eva/summary.css 9 additions, 0 deletionsivette/src/frama-c/plugins/eva/summary.css
- src/plugins/value/api/general_requests.ml 33 additions, 14 deletionssrc/plugins/value/api/general_requests.ml
- src/plugins/value/api/values_request.ml 2 additions, 1 deletionsrc/plugins/value/api/values_request.ml
- src/plugins/value/engine/analysis.ml 43 additions, 8 deletionssrc/plugins/value/engine/analysis.ml
- src/plugins/value/engine/analysis.mli 12 additions, 3 deletionssrc/plugins/value/engine/analysis.mli
Loading
Please register or sign in to comment