Merge branch 'feature/ivette/informations' into 'master'
[ivette] extensible information sidebar See merge request frama-c/frama-c!3426
Showing
- Makefile 2 additions, 2 deletionsMakefile
- ivette/Makefile.distrib 1 addition, 1 deletionivette/Makefile.distrib
- ivette/headers/header_spec.txt 1 addition, 1 deletionivette/headers/header_spec.txt
- ivette/src/dome/renderer/data/settings.ts 13 additions, 10 deletionsivette/src/dome/renderer/data/settings.ts
- ivette/src/dome/renderer/dome.tsx 2 additions, 6 deletionsivette/src/dome/renderer/dome.tsx
- ivette/src/dome/renderer/text/editors.tsx 6 additions, 0 deletionsivette/src/dome/renderer/text/editors.tsx
- ivette/src/frama-c/api_generator.ml 3 additions, 2 deletionsivette/src/frama-c/api_generator.ml
- ivette/src/frama-c/index.tsx 6 additions, 6 deletionsivette/src/frama-c/index.tsx
- ivette/src/frama-c/kernel/ASTinfo.tsx 326 additions, 30 deletionsivette/src/frama-c/kernel/ASTinfo.tsx
- ivette/src/frama-c/kernel/ASTview.tsx 14 additions, 3 deletionsivette/src/frama-c/kernel/ASTview.tsx
- ivette/src/frama-c/kernel/api/ast/index.ts 26 additions, 7 deletionsivette/src/frama-c/kernel/api/ast/index.ts
- ivette/src/frama-c/kernel/style.css 90 additions, 2 deletionsivette/src/frama-c/kernel/style.css
- ivette/src/frama-c/richtext.tsx 70 additions, 19 deletionsivette/src/frama-c/richtext.tsx
- ivette/src/frama-c/states.ts 8 additions, 1 deletionivette/src/frama-c/states.ts
- ivette/src/renderer/Extensions.tsx 3 additions, 0 deletionsivette/src/renderer/Extensions.tsx
- src/plugins/server/Makefile.in 2 additions, 0 deletionssrc/plugins/server/Makefile.in
- src/plugins/server/data.ml 2 additions, 0 deletionssrc/plugins/server/data.ml
- src/plugins/server/data.mli 7 additions, 3 deletionssrc/plugins/server/data.mli
- src/plugins/server/jbuffer.ml 8 additions, 2 deletionssrc/plugins/server/jbuffer.ml
- src/plugins/server/jbuffer.mli 3 additions, 0 deletionssrc/plugins/server/jbuffer.mli
Loading
Please register or sign in to comment