[Eva] Move Ivette's "eva_analyzed" from Server to Eva
Showing
- ivette/src/frama-c/kernel/Globals.tsx 12 additions, 4 deletionsivette/src/frama-c/kernel/Globals.tsx
- ivette/src/frama-c/kernel/api/ast/index.ts 1 addition, 5 deletionsivette/src/frama-c/kernel/api/ast/index.ts
- ivette/src/frama-c/plugins/eva/api/general/index.ts 77 additions, 0 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- src/plugins/eva/api/general_requests.ml 28 additions, 4 deletionssrc/plugins/eva/api/general_requests.ml
- src/plugins/server/kernel_ast.ml 0 additions, 9 deletionssrc/plugins/server/kernel_ast.ml
Loading
Please register or sign in to comment