Merge branch 'feature/blanchard/ivette/wp-component' into 'master'
WP Ivette component See merge request frama-c/frama-c!4288
Showing
- ivette/src/dome/renderer/controls/buttons.tsx 1 addition, 1 deletionivette/src/dome/renderer/controls/buttons.tsx
- ivette/src/dome/renderer/controls/icons.tsx 7 additions, 1 deletionivette/src/dome/renderer/controls/icons.tsx
- ivette/src/dome/renderer/controls/labels.tsx 17 additions, 5 deletionsivette/src/dome/renderer/controls/labels.tsx
- ivette/src/dome/renderer/controls/style.css 7 additions, 5 deletionsivette/src/dome/renderer/controls/style.css
- ivette/src/dome/renderer/frame/style.css 19 additions, 4 deletionsivette/src/dome/renderer/frame/style.css
- ivette/src/dome/renderer/frame/toolbars.tsx 34 additions, 1 deletionivette/src/dome/renderer/frame/toolbars.tsx
- ivette/src/dome/renderer/layout/boxes.tsx 14 additions, 3 deletionsivette/src/dome/renderer/layout/boxes.tsx
- ivette/src/dome/renderer/style.css 1 addition, 1 deletionivette/src/dome/renderer/style.css
- ivette/src/frama-c/kernel/Status.tsx 22 additions, 13 deletionsivette/src/frama-c/kernel/Status.tsx
- ivette/src/frama-c/plugins/wp/api/index.ts 53 additions, 22 deletionsivette/src/frama-c/plugins/wp/api/index.ts
- ivette/src/frama-c/plugins/wp/goals.tsx 145 additions, 0 deletionsivette/src/frama-c/plugins/wp/goals.tsx
- ivette/src/frama-c/plugins/wp/index.tsx 122 additions, 0 deletionsivette/src/frama-c/plugins/wp/index.tsx
- ivette/src/frama-c/plugins/wp/pkg.json 3 additions, 0 deletionsivette/src/frama-c/plugins/wp/pkg.json
- ivette/src/frama-c/plugins/wp/style.css 0 additions, 0 deletionsivette/src/frama-c/plugins/wp/style.css
- src/plugins/wp/Changelog 1 addition, 4 deletionssrc/plugins/wp/Changelog
- src/plugins/wp/wpApi.ml 54 additions, 26 deletionssrc/plugins/wp/wpApi.ml
Loading
Please register or sign in to comment