Merge branch 'feature/ivette/properties-filter' into 'master'
[ivette] Improves the property table: filters and new columns See merge request frama-c/frama-c!2695
No related branches found
No related tags found
Showing
- ivette/Makefile 2 additions, 1 deletionivette/Makefile
- ivette/src/dome/src/renderer/controls/gallery.json 6 additions, 0 deletionsivette/src/dome/src/renderer/controls/gallery.json
- ivette/src/dome/src/renderer/controls/style.css 3 additions, 0 deletionsivette/src/dome/src/renderer/controls/style.css
- ivette/src/dome/src/renderer/layout/forms.js 5 additions, 5 deletionsivette/src/dome/src/renderer/layout/forms.js
- ivette/src/dome/src/renderer/table/arrays.ts 15 additions, 0 deletionsivette/src/dome/src/renderer/table/arrays.ts
- ivette/src/dome/src/renderer/table/models.ts 8 additions, 1 deletionivette/src/dome/src/renderer/table/models.ts
- ivette/src/dome/src/renderer/table/views.tsx 1 addition, 1 deletionivette/src/dome/src/renderer/table/views.tsx
- ivette/src/renderer/Controller.tsx 1 addition, 1 deletionivette/src/renderer/Controller.tsx
- ivette/src/renderer/Properties.tsx 394 additions, 36 deletionsivette/src/renderer/Properties.tsx
- ivette/src/renderer/style.css 11 additions, 2 deletionsivette/src/renderer/style.css
- src/kernel_services/ast_data/property.ml 21 additions, 0 deletionssrc/kernel_services/ast_data/property.ml
- src/kernel_services/ast_data/property.mli 1 addition, 0 deletionssrc/kernel_services/ast_data/property.mli
- src/plugins/server/kernel_main.ml 22 additions, 8 deletionssrc/plugins/server/kernel_main.ml
- src/plugins/server/kernel_properties.ml 50 additions, 7 deletionssrc/plugins/server/kernel_properties.ml
Loading
Please register or sign in to comment