Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Merge requests
Open
4
Merged
152
Closed
19
All
175
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}}
Title
WIP: VIP
!88
· created
Jul 08, 2021
by
Michael Sammler
Closed
1
updated
Jul 15, 2021
WIP: Update to new Iris language interface
!139
· created
Aug 10, 2022
by
Michael Sammler
0
updated
Aug 10, 2022
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 allocation stack
!51
· created
Mar 22, 2021
by
Rodolphe Lepigre
21
updated
Nov 02, 2021
Verify scheduler data structure
!151
· created
Jun 01, 2023
by
Kimaya Bedarkar
Closed
1
updated
Jun 21, 2023
verify receive one message function
!162
· created
Aug 18, 2023
by
Kimaya Bedarkar
Merged
53
updated
Aug 29, 2023
Verify fds data structure functions
!157
· created
Jul 02, 2023
by
Kimaya Bedarkar
Merged
16
updated
Jul 19, 2023
Verification of receive messages and check channels
!171
· created
Feb 02, 2024
by
Kimaya Bedarkar
Merged
19
updated
Apr 05, 2024
Verification of bitmap with 256 priorities
!144
· created
Apr 20, 2023
by
Kimaya Bedarkar
Closed
1
updated
Apr 20, 2023
Use vm_compute in compute_map_lookup
!102
· created
Jul 27, 2021
by
Michael Sammler
Closed
1
updated
Jul 30, 2021
Use separate inductives for allocation (refactoring).
!6
· created
Dec 02, 2020
by
Rodolphe Lepigre
Merged
11
updated
Dec 02, 2020
use primitive projections for iProp_to_Prop
!147
· created
May 14, 2023
by
Michael Sammler
Merged
0
updated
May 14, 2023
Use multisuccess of typeclasses eauto to get rid of n parameter in FindInContext
!107
· created
Aug 05, 2021
by
Michael Sammler
Merged
0
updated
Aug 05, 2021
Use more Hint Extern instead of IsEx
!161
· created
Jul 31, 2023
by
Michael Sammler
Merged
0
updated
Jul 31, 2023
upgrade to coq 8.14.0
!119
· created
Oct 19, 2021
by
Michael Sammler
Merged
2
updated
Oct 19, 2021
Upgrade README demo: it_max -> max_int.
!9
· created
Dec 04, 2020
by
Fengmin Zhu
Merged
1
updated
Dec 04, 2020
Updated early alloc example
!84
· created
Jul 05, 2021
by
Michael Sammler
Merged
0
updated
Jul 05, 2021
update to Coq 8.18.0
!169
· created
Nov 29, 2023
by
Michael Sammler
Merged
1
updated
Nov 30, 2023
update to coq 8.13.2
!101
· created
Jul 27, 2021
by
Michael Sammler
Merged
0
updated
Jul 27, 2021
update Iris for later credits
!138
· created
Jul 07, 2022
by
Ralf Jung
Merged
1
updated
Jul 07, 2022
Prev
1
2
3
4
5
…
9
Next