Merge branch 'feature/ivette/messages' into 'master'
[ivette] New composant Messages: table of messages emitted by Frama-C See merge request frama-c/frama-c!3362
No related branches found
No related tags found
Showing
- ivette/src/dome/renderer/layout/forms.tsx 2 additions, 2 deletionsivette/src/dome/renderer/layout/forms.tsx
- ivette/src/frama-c/api/generated/kernel/ast/index.ts 27 additions, 8 deletionsivette/src/frama-c/api/generated/kernel/ast/index.ts
- ivette/src/frama-c/api/generated/kernel/properties/index.ts 8 additions, 8 deletionsivette/src/frama-c/api/generated/kernel/properties/index.ts
- ivette/src/frama-c/api/generated/kernel/services/index.ts 118 additions, 27 deletionsivette/src/frama-c/api/generated/kernel/services/index.ts
- ivette/src/frama-c/index.tsx 7 additions, 0 deletionsivette/src/frama-c/index.tsx
- ivette/src/frama-c/kernel/Messages.tsx 429 additions, 0 deletionsivette/src/frama-c/kernel/Messages.tsx
- ivette/src/frama-c/kernel/Properties.tsx 8 additions, 8 deletionsivette/src/frama-c/kernel/Properties.tsx
- ivette/src/frama-c/kernel/SourceCode.tsx 1 addition, 2 deletionsivette/src/frama-c/kernel/SourceCode.tsx
- ivette/src/frama-c/kernel/style.css 32 additions, 0 deletionsivette/src/frama-c/kernel/style.css
- ivette/src/renderer/style.css 1 addition, 1 deletionivette/src/renderer/style.css
- src/kernel_internals/runtime/messages.ml 8 additions, 8 deletionssrc/kernel_internals/runtime/messages.ml
- src/kernel_internals/runtime/messages.mli 4 additions, 2 deletionssrc/kernel_internals/runtime/messages.mli
- src/kernel_services/ast_printing/printer_tag.ml 206 additions, 0 deletionssrc/kernel_services/ast_printing/printer_tag.ml
- src/kernel_services/ast_printing/printer_tag.mli 6 additions, 0 deletionssrc/kernel_services/ast_printing/printer_tag.mli
- src/libraries/project/state_builder.ml 4 additions, 0 deletionssrc/libraries/project/state_builder.ml
- src/libraries/project/state_builder.mli 2 additions, 0 deletionssrc/libraries/project/state_builder.mli
- src/plugins/gui/design.ml 10 additions, 4 deletionssrc/plugins/gui/design.ml
- src/plugins/gui/history.ml 1 addition, 1 deletionsrc/plugins/gui/history.ml
- src/plugins/gui/pretty_source.ml 0 additions, 203 deletionssrc/plugins/gui/pretty_source.ml
- src/plugins/gui/pretty_source.mli 0 additions, 7 deletionssrc/plugins/gui/pretty_source.mli
Loading
Please register or sign in to comment