Merge branch 'feature/ivette/function-pointer-goto-def' into 'master'
[Ivette] ASTview: adds a menu entry "go to definition" on function pointers. Closes #1246 See merge request frama-c/frama-c!4149
No related branches found
No related tags found
Showing
- ivette/src/frama-c/kernel/ASTview.tsx 22 additions, 2 deletionsivette/src/frama-c/kernel/ASTview.tsx
- ivette/src/frama-c/kernel/api/ast/index.ts 8 additions, 3 deletionsivette/src/frama-c/kernel/api/ast/index.ts
- ivette/src/frama-c/plugins/eva/api/general/index.ts 10 additions, 0 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- src/plugins/eva/api/general_requests.ml 21 additions, 0 deletionssrc/plugins/eva/api/general_requests.ml
- src/plugins/eva/api/values_request.ml 2 additions, 1 deletionsrc/plugins/eva/api/values_request.ml
- src/plugins/server/kernel_ast.ml 15 additions, 0 deletionssrc/plugins/server/kernel_ast.ml
Loading
Please register or sign in to comment