[dome] typed events (317f17a2) · Commits · pub / frama-c · GitLab

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

317f17a2

Commit 317f17a2 authored 4 years ago by Loïc Correnson

Downloads
- Patches
- Plain Diff

[dome] typed events

parent d2e3c103

No related branches found

No related tags found

No related merge requests found

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

ivette/src/dome/src/renderer/data/settings.ts 9 additions, 2 deletions

ivette/src/dome/src/renderer/data/settings.ts
ivette/src/dome/src/renderer/dome.ts 187 additions, 182 deletions

ivette/src/dome/src/renderer/dome.ts
ivette/src/dome/src/renderer/layout/boxes.tsx 3 additions, 2 deletions

ivette/src/dome/src/renderer/layout/boxes.tsx
ivette/src/dome/src/renderer/table/views.tsx 2 additions, 2 deletions

ivette/src/dome/src/renderer/table/views.tsx
ivette/src/frama-c/LabViews.tsx 9 additions, 8 deletions

ivette/src/frama-c/LabViews.tsx
ivette/src/frama-c/server.ts 28 additions, 43 deletions

ivette/src/frama-c/server.ts
ivette/src/frama-c/states.ts 14 additions, 10 deletions

ivette/src/frama-c/states.ts
ivette/src/renderer/Controller.tsx 9 additions, 5 deletions

ivette/src/renderer/Controller.tsx

with 261 additions and 254 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