Merge branch 'feature/ivette/source-code-view' into 'master'
[Ivette] Source code component See merge request frama-c/frama-c!2983
No related branches found
No related tags found
Showing
- ivette/api/generated/kernel/ast/index.ts 10 additions, 6 deletionsivette/api/generated/kernel/ast/index.ts
- ivette/src/renderer/ASTview.tsx 11 additions, 54 deletionsivette/src/renderer/ASTview.tsx
- ivette/src/renderer/Application.tsx 2 additions, 0 deletionsivette/src/renderer/Application.tsx
- ivette/src/renderer/Locations.tsx 2 additions, 2 deletionsivette/src/renderer/Locations.tsx
- ivette/src/renderer/Preferences.tsx 153 additions, 31 deletionsivette/src/renderer/Preferences.tsx
- ivette/src/renderer/SourceCode.tsx 126 additions, 0 deletionsivette/src/renderer/SourceCode.tsx
- src/plugins/server/kernel_ast.ml 7 additions, 2 deletionssrc/plugins/server/kernel_ast.ml
- src/plugins/server/kernel_main.ml 6 additions, 1 deletionsrc/plugins/server/kernel_main.ml
- src/plugins/server/server_parameters.ml 7 additions, 0 deletionssrc/plugins/server/server_parameters.ml
- src/plugins/server/server_parameters.mli 2 additions, 0 deletionssrc/plugins/server/server_parameters.mli
- src/plugins/server/tests/batch/oracle/ast_services.out.json 14 additions, 2 deletionssrc/plugins/server/tests/batch/oracle/ast_services.out.json
- src/plugins/server/tests/batch/test_config 1 addition, 1 deletionsrc/plugins/server/tests/batch/test_config
Loading
Please register or sign in to comment