[server] introduce default values
Showing
- ivette/src/frama-c/kernel/api/ast/index.ts 76 additions, 55 deletionsivette/src/frama-c/kernel/api/ast/index.ts
- ivette/src/frama-c/kernel/api/data/index.ts 10 additions, 0 deletionsivette/src/frama-c/kernel/api/data/index.ts
- ivette/src/frama-c/kernel/api/project/index.ts 8 additions, 0 deletionsivette/src/frama-c/kernel/api/project/index.ts
- ivette/src/frama-c/kernel/api/properties/index.ts 35 additions, 6 deletionsivette/src/frama-c/kernel/api/properties/index.ts
- ivette/src/frama-c/kernel/api/services/index.ts 32 additions, 4 deletionsivette/src/frama-c/kernel/api/services/index.ts
- ivette/src/frama-c/plugins/dive/api/index.ts 42 additions, 0 deletionsivette/src/frama-c/plugins/dive/api/index.ts
- ivette/src/frama-c/plugins/eva/api/general/index.ts 90 additions, 46 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- ivette/src/frama-c/plugins/eva/api/values/index.ts 25 additions, 10 deletionsivette/src/frama-c/plugins/eva/api/values/index.ts
- ivette/src/frama-c/plugins/pivot/api/general/index.ts 3 additions, 0 deletionsivette/src/frama-c/plugins/pivot/api/general/index.ts
- ivette/src/frama-c/plugins/studia/api/studia/index.ts 20 additions, 8 deletionsivette/src/frama-c/plugins/studia/api/studia/index.ts
- ivette/src/frama-c/states.ts 2 additions, 14 deletionsivette/src/frama-c/states.ts
- src/plugins/api-generator/api_generator.ml 55 additions, 6 deletionssrc/plugins/api-generator/api_generator.ml
- src/plugins/server/data.ml 7 additions, 3 deletionssrc/plugins/server/data.ml
- src/plugins/server/package.ml 10 additions, 7 deletionssrc/plugins/server/package.ml
- src/plugins/server/package.mli 4 additions, 2 deletionssrc/plugins/server/package.mli
- src/plugins/server/server_doc.ml 2 additions, 2 deletionssrc/plugins/server/server_doc.ml
Loading
Please register or sign in to comment