[ivette] Add Eva sidebar
Showing
- ivette/src/dome/renderer/controls/gallery.json 5 additions, 0 deletionsivette/src/dome/renderer/controls/gallery.json
- ivette/src/frama-c/kernel/Globals.tsx 1 addition, 1 deletionivette/src/frama-c/kernel/Globals.tsx
- ivette/src/frama-c/plugins/eva/EvaDefinitions.tsx 179 additions, 0 deletionsivette/src/frama-c/plugins/eva/EvaDefinitions.tsx
- ivette/src/frama-c/plugins/eva/EvaSidebar.tsx 163 additions, 0 deletionsivette/src/frama-c/plugins/eva/EvaSidebar.tsx
- ivette/src/frama-c/plugins/eva/api/general/index.ts 667 additions, 0 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- ivette/src/frama-c/plugins/eva/components/Form.tsx 289 additions, 0 deletionsivette/src/frama-c/plugins/eva/components/Form.tsx
- ivette/src/frama-c/plugins/eva/components/Tools.tsx 114 additions, 0 deletionsivette/src/frama-c/plugins/eva/components/Tools.tsx
- ivette/src/frama-c/plugins/eva/index.tsx 1 addition, 0 deletionsivette/src/frama-c/plugins/eva/index.tsx
- ivette/src/frama-c/plugins/eva/style.css 164 additions, 0 deletionsivette/src/frama-c/plugins/eva/style.css
- src/plugins/eva/api/general_requests.ml 188 additions, 0 deletionssrc/plugins/eva/api/general_requests.ml
- src/plugins/eva/parameters.mli 4 additions, 0 deletionssrc/plugins/eva/parameters.mli
Loading
Please register or sign in to comment