Skip to content
GitLab
Explore
Sign in
Open
4
Merged
152
Closed
19
All
175
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Draft: Add specs for some more functions
!170
· created
Dec 08, 2023
by
Kimaya Bedarkar
Closed
updated
Feb 02, 2024
Verify scheduler data structure
!151
· created
Jun 01, 2023
by
Kimaya Bedarkar
Closed
1
updated
Jun 21, 2023
Draft: Verification of enqueue and dequeue functions
!146
· created
Apr 21, 2023
by
Kimaya Bedarkar
kimaya/verifybitmap
Closed
updated
Apr 21, 2023
Verification of bitmap with 256 priorities
!144
· created
Apr 20, 2023
by
Kimaya Bedarkar
Closed
1
updated
Apr 20, 2023
update Iris for later credits
!137
· created
Jul 07, 2022
by
Ralf Jung
Closed
5
updated
Jul 08, 2022
add and verify simpler bitmap implementation
!134
· created
Apr 19, 2022
by
Kimaya Bedarkar
ci/example-scheduler
Closed
9
updated
May 02, 2022
Draft: Example scheduler
!132
· created
Mar 15, 2022
by
Michael Sammler
Closed
updated
Mar 15, 2022
Learn side-conditions in the continuation.
!59
· created
Apr 29, 2021
by
Rodolphe Lepigre
Closed
updated
Sep 20, 2021
Remove the layout argument of [free_block].
!65
· created
May 27, 2021
by
Rodolphe Lepigre
Closed
updated
Sep 20, 2021
Draft: Case study: page table
!42
· created
Feb 19, 2021
by
Fengmin Zhu
Closed
1
updated
Aug 19, 2021
Use vm_compute in compute_map_lookup
!102
· created
Jul 27, 2021
by
Michael Sammler
Closed
1
updated
Jul 30, 2021
WIP: parameterise operators with boolean result by the result integer type
!98
· created
Jul 20, 2021
by
Lennard Gäher
Closed
3
updated
Jul 20, 2021
WIP: VIP
!88
· created
Jul 08, 2021
by
Michael Sammler
Closed
1
updated
Jul 15, 2021
Change rc_copy_alloc_id to do the cast.
!75
· created
Jun 21, 2021
by
Rodolphe Lepigre
Closed
1
updated
Jun 21, 2021
More provenance
!71
· created
Jun 16, 2021
by
Michael Sammler
Closed
updated
Jun 16, 2021
Add support for the comma operator.
!61
· created
May 19, 2021
by
Rodolphe Lepigre
Closed
1
updated
May 19, 2021
Generalisation of pointer fragments.
!54
· created
Apr 08, 2021
by
Rodolphe Lepigre
Closed
7
updated
Apr 08, 2021
Generalisation of pointer fragments.
!53
· created
Apr 08, 2021
by
Rodolphe Lepigre
Closed
updated
Apr 08, 2021
Fix cast insertion in the front end.
!17
· created
Jan 23, 2021
by
Rodolphe Lepigre
Closed
2
updated
Jan 28, 2021