-
- Downloads
Merge branch 'feature/ui/labview-rework' into 'master'
[Ivette] Refonte du Labview Closes #1334, #1037, and #1112 See merge request frama-c/frama-c!4403
Showing
- ivette/src/dome/renderer/controls/gallery.json 65 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/data/json.ts 26 additions, 0 deletionsivette/src/dome/renderer/data/json.ts
- ivette/src/dome/renderer/data/settings.ts 0 additions, 2 deletionsivette/src/dome/renderer/data/settings.ts
- ivette/src/dome/renderer/frame/sidebars.tsx 28 additions, 7 deletionsivette/src/dome/renderer/frame/sidebars.tsx
- ivette/src/dome/renderer/frame/style.css 2 additions, 2 deletionsivette/src/dome/renderer/frame/style.css
- ivette/src/dome/renderer/frame/toolbars.tsx 12 additions, 13 deletionsivette/src/dome/renderer/frame/toolbars.tsx
- ivette/src/dome/renderer/layout/qsplit.tsx 19 additions, 22 deletionsivette/src/dome/renderer/layout/qsplit.tsx
- ivette/src/frama-c/index.tsx 65 additions, 71 deletionsivette/src/frama-c/index.tsx
- ivette/src/frama-c/kernel/Globals.tsx 5 additions, 6 deletionsivette/src/frama-c/kernel/Globals.tsx
- ivette/src/frama-c/plugins/callgraph/index.tsx 1 addition, 3 deletionsivette/src/frama-c/plugins/callgraph/index.tsx
- ivette/src/frama-c/plugins/dive/index.tsx 24 additions, 24 deletionsivette/src/frama-c/plugins/dive/index.tsx
- ivette/src/frama-c/plugins/eva/Coverage.tsx 1 addition, 3 deletionsivette/src/frama-c/plugins/eva/Coverage.tsx
- ivette/src/frama-c/plugins/eva/DomainStates.tsx 1 addition, 3 deletionsivette/src/frama-c/plugins/eva/DomainStates.tsx
- ivette/src/frama-c/plugins/eva/Summary.tsx 1 addition, 3 deletionsivette/src/frama-c/plugins/eva/Summary.tsx
- ivette/src/frama-c/plugins/eva/index.tsx 17 additions, 12 deletionsivette/src/frama-c/plugins/eva/index.tsx
- ivette/src/frama-c/plugins/eva/valuetable.tsx 6 additions, 8 deletionsivette/src/frama-c/plugins/eva/valuetable.tsx
- ivette/src/frama-c/plugins/studia/index.ts 8 additions, 8 deletionsivette/src/frama-c/plugins/studia/index.ts
- ivette/src/frama-c/plugins/wp/index.tsx 8 additions, 10 deletionsivette/src/frama-c/plugins/wp/index.tsx
- ivette/src/ivette/display.tsx 128 additions, 0 deletionsivette/src/ivette/display.tsx
Loading
Please register or sign in to comment