[Ivette] Add default signals for request
Showing
- ivette/src/frama-c/api/generated/kernel/ast/index.ts 12 additions, 0 deletionsivette/src/frama-c/api/generated/kernel/ast/index.ts
- ivette/src/frama-c/api/generated/kernel/project/index.ts 7 additions, 0 deletionsivette/src/frama-c/api/generated/kernel/project/index.ts
- ivette/src/frama-c/api/generated/kernel/properties/index.ts 5 additions, 0 deletionsivette/src/frama-c/api/generated/kernel/properties/index.ts
- ivette/src/frama-c/api/generated/kernel/services/index.ts 5 additions, 0 deletionsivette/src/frama-c/api/generated/kernel/services/index.ts
- ivette/src/frama-c/api/generated/plugins/dive/index.ts 7 additions, 0 deletionsivette/src/frama-c/api/generated/plugins/dive/index.ts
- ivette/src/frama-c/api/generated/plugins/eva/general/index.ts 6 additions, 0 deletions...te/src/frama-c/api/generated/plugins/eva/general/index.ts
- ivette/src/frama-c/api/generated/plugins/eva/values/index.ts 5 additions, 0 deletionsivette/src/frama-c/api/generated/plugins/eva/values/index.ts
- ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts 2 additions, 0 deletions.../src/frama-c/api/generated/plugins/studia/studia/index.ts
- ivette/src/frama-c/api/generator.ml 4 additions, 0 deletionsivette/src/frama-c/api/generator.ml
- ivette/src/frama-c/server.ts 7 additions, 5 deletionsivette/src/frama-c/server.ts
- ivette/src/frama-c/states.ts 6 additions, 3 deletionsivette/src/frama-c/states.ts
- src/plugins/server/main.ml 1 addition, 0 deletionssrc/plugins/server/main.ml
- src/plugins/server/main.mli 1 addition, 0 deletionssrc/plugins/server/main.mli
- src/plugins/server/package.ml 1 addition, 0 deletionssrc/plugins/server/package.ml
- src/plugins/server/package.mli 1 addition, 0 deletionssrc/plugins/server/package.mli
- src/plugins/server/request.ml 4 additions, 3 deletionssrc/plugins/server/request.ml
- src/plugins/server/request.mli 4 additions, 1 deletionsrc/plugins/server/request.mli
- src/plugins/server/server_doc.ml 4 additions, 1 deletionsrc/plugins/server/server_doc.ml
Loading
Please register or sign in to comment