Merge branch 'feature/ivette/json-decoders' into 'master'
[Dome] Use only safe decoders and throw exceptions when the decoded json mismatches Closes #1092 See merge request frama-c/frama-c!3954
No related branches found
No related tags found
Showing
- ivette/src/dome/misc/system.ts 37 additions, 13 deletionsivette/src/dome/misc/system.ts
- ivette/src/dome/renderer/data/json.ts 296 additions, 204 deletionsivette/src/dome/renderer/data/json.ts
- ivette/src/dome/renderer/data/settings.ts 14 additions, 14 deletionsivette/src/dome/renderer/data/settings.ts
- ivette/src/dome/renderer/dome.tsx 3 additions, 30 deletionsivette/src/dome/renderer/dome.tsx
- ivette/src/dome/renderer/table/views.tsx 2 additions, 2 deletionsivette/src/dome/renderer/table/views.tsx
- ivette/src/frama-c/kernel/ASTview.tsx 2 additions, 1 deletionivette/src/frama-c/kernel/ASTview.tsx
- ivette/src/frama-c/kernel/api/ast/index.ts 63 additions, 108 deletionsivette/src/frama-c/kernel/api/ast/index.ts
- ivette/src/frama-c/kernel/api/data/index.ts 8 additions, 23 deletionsivette/src/frama-c/kernel/api/data/index.ts
- ivette/src/frama-c/kernel/api/project/index.ts 10 additions, 19 deletionsivette/src/frama-c/kernel/api/project/index.ts
- ivette/src/frama-c/kernel/api/properties/index.ts 26 additions, 46 deletionsivette/src/frama-c/kernel/api/properties/index.ts
- ivette/src/frama-c/kernel/api/services/index.ts 30 additions, 47 deletionsivette/src/frama-c/kernel/api/services/index.ts
- ivette/src/frama-c/plugins/dive/api/index.ts 51 additions, 102 deletionsivette/src/frama-c/plugins/dive/api/index.ts
- ivette/src/frama-c/plugins/eva/api/general/index.ts 75 additions, 147 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- ivette/src/frama-c/plugins/eva/api/values/index.ts 37 additions, 54 deletionsivette/src/frama-c/plugins/eva/api/values/index.ts
- ivette/src/frama-c/plugins/pivot/api/general/index.ts 3 additions, 7 deletionsivette/src/frama-c/plugins/pivot/api/general/index.ts
- ivette/src/frama-c/plugins/studia/api/studia/index.ts 4 additions, 20 deletionsivette/src/frama-c/plugins/studia/api/studia/index.ts
- ivette/src/frama-c/server.ts 2 additions, 2 deletionsivette/src/frama-c/server.ts
- ivette/src/renderer/Laboratory.tsx 2 additions, 2 deletionsivette/src/renderer/Laboratory.tsx
- src/plugins/api-generator/api_generator.ml 30 additions, 73 deletionssrc/plugins/api-generator/api_generator.ml
- src/plugins/eva/api/general_requests.ml 1 addition, 1 deletionsrc/plugins/eva/api/general_requests.ml
Loading
Please register or sign in to comment