Skip to content
GitLab
Explore
Sign in
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
Merge requests
Open
10
Merged
320
Closed
40
All
370
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Merged date
Embeds arrival_uniq into arrival sequences
!185
· created
Feb 11, 2022
by
Pierre Roux
Closed
14
updated
Sep 06, 2022
WIP: POET
!181
· created
Dec 17, 2021
by
Sergey Bozhko
Closed
1
6
updated
Sep 01, 2022
FIFO basic facts additions
!173
· created
Nov 22, 2021
by
Kimaya Bedarkar
Closed
1
updated
Nov 22, 2021
Switch basic readiness to sequential readiness
!140
· created
Sep 03, 2021
by
Ghost User
Closed
1
updated
Sep 03, 2021
documentation improvements
!135
· created
Jul 22, 2021
by
Björn Brandenburg
Closed
1
updated
Jul 22, 2021
Draft: Initiate a Prosa Tutorial
!134
· created
Mar 25, 2021
by
Pierre Roux
Closed
1
4
updated
Feb 22, 2022
Draft: Adding branch with critical sections. Changes to beahviour/schedule.v, new...
!133
· created
Mar 22, 2021
by
ptorrx
Closed
34
updated
Mar 25, 2022
WIP: Pi cleanup
!132
· created
Mar 15, 2021
by
Sergey Bozhko
Closed
1
updated
Mar 15, 2021
WIP: Preemption model compliance
!108
· created
Aug 31, 2020
by
LailaElbeheiry
Closed
1
updated
Sep 01, 2020
WIP: Partitioned
3 of 6 checklist items completed
!101
· created
Jul 17, 2020
by
Maxime Lesourd
Definition
Discussion
Closed
20
updated
Mar 11, 2022
wip: observation interval proofs
!99
· created
Jun 19, 2020
by
Ghost User
Closed
0
updated
Jun 19, 2020
WIP : Restricted Supply
!92
· created
Mar 26, 2020
by
Sergey Bozhko
Closed
0
updated
Mar 26, 2020
WIP : Restricted Supply
!90
· created
Mar 13, 2020
by
Sergey Bozhko
Closed
0
updated
Mar 26, 2020
WIP: [not to be merged] Run CI for Opam file for 0.4
!86
· created
Feb 24, 2020
by
Pierre Roux
Closed
1
updated
Feb 24, 2020
Network calculus
!80
· created
Dec 29, 2019
by
Pierre Roux
Closed
43
updated
Jan 20, 2020
WIP: Resources
!40
· created
Aug 23, 2019
by
Maxime Lesourd
Closed
1
updated
Oct 18, 2019
WIP: add general notion of "job readiness"
!36
· created
Aug 13, 2019
by
Björn Brandenburg
idle-cores
Closed
19
updated
Aug 21, 2019
WIP: expose number of idle cores
!35
· created
Aug 13, 2019
by
Björn Brandenburg
Closed
28
updated
Oct 29, 2019
WIP: CPA in Prosa
!30
· created
Jun 26, 2019
by
Maxime Lesourd
Closed
10
updated
Oct 30, 2019
Resolve "Follow-up from "WIP: Base for the behavior part of refactored PROSA." : Separate "facts" files"
!17
· created
May 07, 2019
by
Björn Brandenburg
Closed
1
updated
May 07, 2019
Prev
1
…
14
15
16
17
18
19
Next