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

a9cc0877

Commit a9cc0877 authored 4 years ago by Loïc Correnson

Downloads
- Patches
- Plain Diff

[ivette] request parameters

parent ce92a4d6

No related branches found

No related tags found

Loading

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

ivette/api/dive.ts 30 additions, 14 deletions

ivette/api/dive.ts
ivette/api/kernel/ast.ts 83 additions, 38 deletions

ivette/api/kernel/ast.ts
ivette/api/kernel/project.ts 32 additions, 18 deletions

ivette/api/kernel/project.ts
ivette/api/kernel/properties.ts 38 additions, 14 deletions

ivette/api/kernel/properties.ts
ivette/api/kernel/services.ts 31 additions, 10 deletions

ivette/api/kernel/services.ts
ivette/api/server_tsc.ml 51 additions, 26 deletions

ivette/api/server_tsc.ml
src/plugins/server/package.ml 33 additions, 27 deletions

src/plugins/server/package.ml

with 298 additions and 147 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