[ivette] fix api generation
Showing
- ivette/Makefile 0 additions, 1 deletionivette/Makefile
- ivette/api/dive/index.ts 14 additions, 9 deletionsivette/api/dive/index.ts
- ivette/api/kernel/ast/index.ts 109 additions, 54 deletionsivette/api/kernel/ast/index.ts
- ivette/api/kernel/data/index.ts 19 additions, 12 deletionsivette/api/kernel/data/index.ts
- ivette/api/kernel/project/index.ts 19 additions, 13 deletionsivette/api/kernel/project/index.ts
- ivette/api/kernel/properties/index.ts 127 additions, 82 deletionsivette/api/kernel/properties/index.ts
- ivette/api/kernel/services/index.ts 34 additions, 23 deletionsivette/api/kernel/services/index.ts
- ivette/api/server_tsc.ml 48 additions, 22 deletionsivette/api/server_tsc.ml
- ivette/src/dome/src/renderer/data/json.ts 1 addition, 1 deletionivette/src/dome/src/renderer/data/json.ts
- ivette/src/dome/src/renderer/text/buffers.js 3 additions, 3 deletionsivette/src/dome/src/renderer/text/buffers.js
- ivette/src/frama-c/states.ts 27 additions, 14 deletionsivette/src/frama-c/states.ts
- ivette/src/renderer/ASTinfo.tsx 4 additions, 8 deletionsivette/src/renderer/ASTinfo.tsx
- ivette/src/renderer/Properties.tsx 25 additions, 53 deletionsivette/src/renderer/Properties.tsx
- ivette/tsconfig.json 3 additions, 1 deletionivette/tsconfig.json
- ivette/webpack.renderer.js 1 addition, 0 deletionsivette/webpack.renderer.js
- src/plugins/server/data.ml 5 additions, 4 deletionssrc/plugins/server/data.ml
- src/plugins/server/kernel_ast.ml 2 additions, 2 deletionssrc/plugins/server/kernel_ast.ml
- src/plugins/server/kernel_properties.ml 8 additions, 8 deletionssrc/plugins/server/kernel_properties.ml
- src/plugins/server/package.ml 11 additions, 0 deletionssrc/plugins/server/package.ml
- src/plugins/server/package.mli 2 additions, 0 deletionssrc/plugins/server/package.mli
Loading
Please register or sign in to comment