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

bc1f5e10

Commit bc1f5e10 authored 1 year ago by Loïc Correnson

Downloads
- Plain Diff

Merge branch 'feature/ivette/alert-component' into 'master'

[ivette] LabView: adds the possibility to 'alert' a component.

See merge request frama-c/frama-c!4524

parents 02330735 75299762

No related branches found

No related tags found

Loading

Changes 4

Hide whitespace changes

Inline Side-by-side

Showing

ivette/src/frama-c/kernel/Locations.tsx 2 additions, 0 deletions

ivette/src/frama-c/kernel/Locations.tsx
ivette/src/ivette/display.tsx 7 additions, 0 deletions

ivette/src/ivette/display.tsx
ivette/src/ivette/laboratory.tsx 53 additions, 7 deletions

ivette/src/ivette/laboratory.tsx
ivette/src/renderer/style.css 4 additions, 0 deletions

ivette/src/renderer/style.css

with 66 additions and 7 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