[server] actually parse expressions
Showing
- ivette/src/frama-c/kernel/ASTview.tsx 4 additions, 3 deletionsivette/src/frama-c/kernel/ASTview.tsx
- ivette/src/frama-c/kernel/Locations.tsx 3 additions, 4 deletionsivette/src/frama-c/kernel/Locations.tsx
- ivette/src/frama-c/plugins/eva/Coverage.tsx 2 additions, 3 deletionsivette/src/frama-c/plugins/eva/Coverage.tsx
- ivette/src/frama-c/plugins/eva/valuetable.tsx 1 addition, 1 deletionivette/src/frama-c/plugins/eva/valuetable.tsx
- ivette/src/frama-c/states.ts 2 additions, 2 deletionsivette/src/frama-c/states.ts
- src/plugins/dive/dive_graph.ml 1 addition, 3 deletionssrc/plugins/dive/dive_graph.ml
- src/plugins/dive/server_interface.ml 2 additions, 2 deletionssrc/plugins/dive/server_interface.ml
- src/plugins/eva/api/general_requests.ml 25 additions, 29 deletionssrc/plugins/eva/api/general_requests.ml
- src/plugins/eva/api/values_request.ml 6 additions, 6 deletionssrc/plugins/eva/api/values_request.ml
- src/plugins/server/kernel_ast.ml 77 additions, 73 deletionssrc/plugins/server/kernel_ast.ml
- src/plugins/server/kernel_ast.mli 35 additions, 6 deletionssrc/plugins/server/kernel_ast.mli
- src/plugins/server/kernel_main.ml 1 addition, 1 deletionsrc/plugins/server/kernel_main.ml
- src/plugins/server/kernel_properties.ml 2 additions, 2 deletionssrc/plugins/server/kernel_properties.ml
- src/plugins/studia/studia_request.ml 1 addition, 1 deletionsrc/plugins/studia/studia_request.ml
Loading
Please register or sign in to comment