Merge branch 'master' into feature/dome/dome-ts
# Conflicts: # ivette/src/frama-c/states.ts # ivette/src/renderer/ASTview.tsx
Showing
- INSTALL.md 1 addition, 1 deletionINSTALL.md
- Makefile 3 additions, 2 deletionsMakefile
- devel_tools/docker/frama-c.20.0/Dockerfile 58 additions, 0 deletionsdevel_tools/docker/frama-c.20.0/Dockerfile
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- ivette/.gitignore 0 additions, 1 deletionivette/.gitignore
- ivette/api/kernel/ast/index.ts 8 additions, 8 deletionsivette/api/kernel/ast/index.ts
- ivette/api/kernel/data/index.ts 1 addition, 1 deletionivette/api/kernel/data/index.ts
- ivette/api/kernel/project/index.ts 4 additions, 4 deletionsivette/api/kernel/project/index.ts
- ivette/api/kernel/properties/index.ts 8 additions, 8 deletionsivette/api/kernel/properties/index.ts
- ivette/api/kernel/services/index.ts 6 additions, 6 deletionsivette/api/kernel/services/index.ts
- ivette/api/plugins/eva/index.ts 40 additions, 0 deletionsivette/api/plugins/eva/index.ts
- ivette/api/server_tsc.ml 7 additions, 4 deletionsivette/api/server_tsc.ml
- ivette/src/dome/src/renderer/data/compare.ts 24 additions, 15 deletionsivette/src/dome/src/renderer/data/compare.ts
- ivette/src/dome/src/renderer/data/json.ts 9 additions, 0 deletionsivette/src/dome/src/renderer/data/json.ts
- ivette/src/dome/src/renderer/table/arrays.ts 7 additions, 2 deletionsivette/src/dome/src/renderer/table/arrays.ts
- ivette/src/dome/template/git-ignore 0 additions, 1 deletionivette/src/dome/template/git-ignore
- ivette/src/frama-c/states.ts 192 additions, 35 deletionsivette/src/frama-c/states.ts
- ivette/src/renderer/ASTview.tsx 66 additions, 15 deletionsivette/src/renderer/ASTview.tsx
- ivette/src/renderer/Application.tsx 10 additions, 8 deletionsivette/src/renderer/Application.tsx
- ivette/src/renderer/Controller.tsx 2 additions, 2 deletionsivette/src/renderer/Controller.tsx
Loading
Please register or sign in to comment