25 (Manganese) · Milestones · pub / frama-c · GitLab

Skip to content

GitLab

Explore

Sign in

Closed

Milestone

25 (Manganese)

Work items 1
Merge requests 1
Participants 1
Labels 0

Loading

Loading

Loading

Loading

100% complete

100%

Start date

No start date

None

Due date

No due date

1

Work items 1 New issue

Open: 0 Closed: 1

1

Merge requests 1

Open: 0 Closed: 1 Merged: 0

1

Release

Frama-C 25.0 Manganese

Reference: pub/frama-c%"25 (Manganese)"