Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

926ffa08

Commit 926ffa08 authored 4 years ago by Michele Alberti

Downloads
- Patches
- Plain Diff

[ivette] Update to generated server API.

parent 50eab52e

No related branches found

No related tags found

Loading

Changes 6

Hide whitespace changes

Inline Side-by-side

Showing

ivette/api/plugins/eva/general/index.ts 2 additions, 2 deletions

ivette/api/plugins/eva/general/index.ts
ivette/api/plugins/eva/values/index.ts 154 additions, 0 deletions

ivette/api/plugins/eva/values/index.ts
ivette/src/renderer/ASTview.tsx 2 additions, 2 deletions

ivette/src/renderer/ASTview.tsx
ivette/src/renderer/Values.tsx 23 additions, 30 deletions

ivette/src/renderer/Values.tsx
src/plugins/value/api/general_requests.ml 7 additions, 2 deletions

src/plugins/value/api/general_requests.ml
src/plugins/value/api/values_request.ml 6 additions, 1 deletion

src/plugins/value/api/values_request.ml

with 194 additions and 37 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment