Merge branch 'feature/eva/form' into 'master'
Feature/eva/form See merge request frama-c/frama-c!4656
No related branches found
No related tags found
Showing
- ivette/src/dome/renderer/controls/gallery.json 5 additions, 0 deletionsivette/src/dome/renderer/controls/gallery.json
- ivette/src/dome/renderer/controls/icons.tsx 5 additions, 1 deletionivette/src/dome/renderer/controls/icons.tsx
- ivette/src/dome/renderer/controls/labels.tsx 7 additions, 1 deletionivette/src/dome/renderer/controls/labels.tsx
- ivette/src/dome/renderer/controls/style.css 2 additions, 0 deletionsivette/src/dome/renderer/controls/style.css
- ivette/src/dome/renderer/layout/style.css 76 additions, 25 deletionsivette/src/dome/renderer/layout/style.css
- ivette/src/frama-c/kernel/Globals.tsx 1 addition, 1 deletionivette/src/frama-c/kernel/Globals.tsx
- ivette/src/frama-c/kernel/api/parameters/index.ts 10519 additions, 0 deletionsivette/src/frama-c/kernel/api/parameters/index.ts
- ivette/src/frama-c/plugins/eva/EvaDefinitions.tsx 300 additions, 0 deletionsivette/src/frama-c/plugins/eva/EvaDefinitions.tsx
- ivette/src/frama-c/plugins/eva/EvaSidebar.tsx 258 additions, 0 deletionsivette/src/frama-c/plugins/eva/EvaSidebar.tsx
- ivette/src/frama-c/plugins/eva/components/Form.tsx 331 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 140 additions, 0 deletionsivette/src/frama-c/plugins/eva/style.css
- ivette/src/frama-c/plugins/eva/valuetable.tsx 26 additions, 46 deletionsivette/src/frama-c/plugins/eva/valuetable.tsx
- src/plugins/eva/api/general_requests.ml 0 additions, 2 deletionssrc/plugins/eva/api/general_requests.ml
- src/plugins/eva/parameters.mli 1 addition, 0 deletionssrc/plugins/eva/parameters.mli
- src/plugins/server/kernel_main.ml 55 additions, 0 deletionssrc/plugins/server/kernel_main.ml
Loading
Please register or sign in to comment