Merge branch 'build/blanchard/ivette/generate-api-on-the-fly' into 'master'
Generate Ivette API on the fly See merge request frama-c/frama-c!4752
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 26 additions, 30 deletions.gitlab-ci.yml
- ivette/.gitignore 2 additions, 1 deletionivette/.gitignore
- ivette/Makefile 2 additions, 6 deletionsivette/Makefile
- ivette/api.sh 13 additions, 49 deletionsivette/api.sh
- ivette/src/frama-c/kernel/api/ast/index.ts 0 additions, 758 deletionsivette/src/frama-c/kernel/api/ast/index.ts
- ivette/src/frama-c/kernel/api/data/index.ts 0 additions, 91 deletionsivette/src/frama-c/kernel/api/data/index.ts
- ivette/src/frama-c/kernel/api/parameters/index.ts 0 additions, 10411 deletionsivette/src/frama-c/kernel/api/parameters/index.ts
- ivette/src/frama-c/kernel/api/project/index.ts 0 additions, 88 deletionsivette/src/frama-c/kernel/api/project/index.ts
- ivette/src/frama-c/kernel/api/properties/index.ts 0 additions, 391 deletionsivette/src/frama-c/kernel/api/properties/index.ts
- ivette/src/frama-c/kernel/api/services/index.ts 0 additions, 321 deletionsivette/src/frama-c/kernel/api/services/index.ts
- ivette/src/frama-c/plugins/callgraph/api/index.ts 0 additions, 229 deletionsivette/src/frama-c/plugins/callgraph/api/index.ts
- ivette/src/frama-c/plugins/dive/api/index.ts 0 additions, 596 deletionsivette/src/frama-c/plugins/dive/api/index.ts
- ivette/src/frama-c/plugins/eva/api/general/index.ts 0 additions, 862 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- ivette/src/frama-c/plugins/eva/api/values/index.ts 0 additions, 235 deletionsivette/src/frama-c/plugins/eva/api/values/index.ts
- ivette/src/frama-c/plugins/pivot/api/general/index.ts 0 additions, 90 deletionsivette/src/frama-c/plugins/pivot/api/general/index.ts
- ivette/src/frama-c/plugins/region/api/index.ts 0 additions, 195 deletionsivette/src/frama-c/plugins/region/api/index.ts
- ivette/src/frama-c/plugins/studia/api/studia/index.ts 0 additions, 97 deletionsivette/src/frama-c/plugins/studia/api/studia/index.ts
- ivette/src/frama-c/plugins/wp/api/index.ts 0 additions, 558 deletionsivette/src/frama-c/plugins/wp/api/index.ts
- ivette/src/frama-c/plugins/wp/api/tac/index.ts 0 additions, 332 deletionsivette/src/frama-c/plugins/wp/api/tac/index.ts
- ivette/src/frama-c/plugins/wp/api/tip/index.ts 0 additions, 533 deletionsivette/src/frama-c/plugins/wp/api/tip/index.ts
Loading
Please register or sign in to comment