Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
RefinedC
Merge requests
Open
4
Merged
146
Closed
18
All
168
Actions
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}}
Created date
Fix cast insertion in the front end.
!17
· created
Jan 23, 2021
by
Rodolphe Lepigre
Closed
2
updated
Jan 28, 2021
Draft: Case study: page table
!42
· created
Feb 19, 2021
by
Fengmin Zhu
Closed
1
updated
Aug 19, 2021
Generalisation of pointer fragments.
!53
· created
Apr 08, 2021
by
Rodolphe Lepigre
Closed
0
updated
Apr 08, 2021
Generalisation of pointer fragments.
!54
· created
Apr 08, 2021
by
Rodolphe Lepigre
Closed
7
updated
Apr 08, 2021
Learn side-conditions in the continuation.
!59
· created
Apr 29, 2021
by
Rodolphe Lepigre
Closed
0
updated
Sep 20, 2021
Add support for the comma operator.
!61
· created
May 19, 2021
by
Rodolphe Lepigre
Closed
1
updated
May 19, 2021
Remove the layout argument of [free_block].
!65
· created
May 27, 2021
by
Rodolphe Lepigre
Closed
0
updated
Sep 20, 2021
More provenance
!71
· created
Jun 16, 2021
by
Michael Sammler
Closed
0
updated
Jun 16, 2021
Change rc_copy_alloc_id to do the cast.
!75
· created
Jun 21, 2021
by
Rodolphe Lepigre
Closed
1
updated
Jun 21, 2021
WIP: VIP
!88
· created
Jul 08, 2021
by
Michael Sammler
Closed
1
updated
Jul 15, 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
Use vm_compute in compute_map_lookup
!102
· created
Jul 27, 2021
by
Michael Sammler
Closed
1
updated
Jul 30, 2021
Draft: Example scheduler
!132
· created
Mar 15, 2022
by
Michael Sammler
Closed
0
updated
Mar 15, 2022
add and verify simpler bitmap implementation
!134
· created
Apr 19, 2022
by
Kimaya Bedarkar
ci/example-scheduler
Closed
9
updated
May 02, 2022
update Iris for later credits
!137
· created
Jul 07, 2022
by
Ralf Jung
Closed
5
updated
Jul 08, 2022
Verification of bitmap with 256 priorities
!144
· created
Apr 20, 2023
by
Kimaya Bedarkar
Closed
1
updated
Apr 20, 2023
Draft: Verification of enqueue and dequeue functions
!146
· created
Apr 21, 2023
by
Kimaya Bedarkar
kimaya/verifybitmap
Closed
0
updated
Apr 21, 2023
Verify scheduler data structure
!151
· created
Jun 01, 2023
by
Kimaya Bedarkar
Closed
1
updated
Jun 21, 2023
