Merge branch 'feature/ivette/multiple-selections' into 'master'
[ivette] Allows selecting multiple locations at once See merge request frama-c/frama-c!2729
No related branches found
No related tags found
Showing
- Makefile 3 additions, 2 deletionsMakefile
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- ivette/api/kernel/ast/index.ts 4 additions, 4 deletionsivette/api/kernel/ast/index.ts
- ivette/api/plugins/eva/index.ts 40 additions, 0 deletionsivette/api/plugins/eva/index.ts
- ivette/src/frama-c/states.ts 192 additions, 35 deletionsivette/src/frama-c/states.ts
- ivette/src/renderer/ASTview.tsx 66 additions, 15 deletionsivette/src/renderer/ASTview.tsx
- ivette/src/renderer/Application.tsx 10 additions, 8 deletionsivette/src/renderer/Application.tsx
- ivette/src/renderer/Controller.tsx 2 additions, 2 deletionsivette/src/renderer/Controller.tsx
- ivette/src/renderer/Locations.tsx 130 additions, 0 deletionsivette/src/renderer/Locations.tsx
- ivette/src/renderer/style.css 4 additions, 0 deletionsivette/src/renderer/style.css
- src/plugins/server/kernel_ast.ml 2 additions, 2 deletionssrc/plugins/server/kernel_ast.ml
- src/plugins/value/api/general_requests.ml 40 additions, 0 deletionssrc/plugins/value/api/general_requests.ml
- src/plugins/value/api/general_requests.mli 23 additions, 0 deletionssrc/plugins/value/api/general_requests.mli
Loading
Please register or sign in to comment