Prosa 0.6 · Milestones · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Skip to content

GitLab

Explore

Sign in

Open

Milestone

Prosa 0.6

The next release of PROSA, in time for RTNS'25.

Work items 4
Merge requests 2
Participants 2
Labels 0

Loading

Loading

Loading

Loading

100% complete

100%

Start date

No start date

None

Due date

No due date

4

Work items 4 New issue

Open: 0 Closed: 4

2

Merge requests 2

Open: 0 Closed: 0 Merged: 2

1

Release

Reference: RT-PROOFS/rt-proofs%"Prosa 0.6"