[Eva] Moves flamegraph request from values_request to general_requests.
Showing
- ivette/src/frama-c/plugins/eva/Flamegraph.tsx 1 addition, 1 deletionivette/src/frama-c/plugins/eva/Flamegraph.tsx
- ivette/src/frama-c/plugins/eva/api/general/index.ts 141 additions, 0 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- ivette/src/frama-c/plugins/eva/api/values/index.ts 0 additions, 141 deletionsivette/src/frama-c/plugins/eva/api/values/index.ts
- src/plugins/eva/api/general_requests.ml 95 additions, 0 deletionssrc/plugins/eva/api/general_requests.ml
- src/plugins/eva/api/values_request.ml 0 additions, 95 deletionssrc/plugins/eva/api/values_request.ml
Loading
Please register or sign in to comment