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
Add [cast_to_bool] and factorise "if" rules.
!111
· created
Sep 13, 2021
by
Rodolphe Lepigre
Merged
Approved
3
updated
Sep 13, 2021
Add a [heap_state] invariant.
!50
· created
Mar 03, 2021
by
Rodolphe Lepigre
Merged
17
updated
Mar 09, 2021
Add a good failure state for allocation failure
6 of 6 checklist items completed
!5
· created
Nov 26, 2020
by
Rodolphe Lepigre
Merged
Approved
0
updated
Nov 27, 2020
Add a simplification rule for tagged pointers.
!74
· created
Jun 18, 2021
by
Rodolphe Lepigre
Merged
Approved
1
updated
Jun 18, 2021
Add a size to the [ptr] type.
!29
· created
Feb 11, 2021
by
Rodolphe Lepigre
Merged
0
updated
Feb 12, 2021
Add a stronger function subtyping rule
!165
· created
Aug 23, 2023
by
Laila Elbeheiry
Merged
30
updated
Aug 29, 2023
add and verify simpler bitmap implementation
!135
· created
May 02, 2022
by
Kimaya Bedarkar
ci/example-scheduler
Merged
Approved
1
updated
May 03, 2022
add annotation support for evar instantiation
!164
· created
Aug 23, 2023
by
Laila Elbeheiry
Merged
6
updated
Aug 25, 2023
Add annotation syntax for [global_with_type] constraints.
!12
· created
Dec 11, 2020
by
Rodolphe Lepigre
Merged
0
updated
Dec 14, 2020
add at_value type
!79
· created
Jun 22, 2021
by
Michael Sammler
Merged
Approved
0
updated
Jun 22, 2021
add bitmap with 256 priorities
!145
· created
Apr 20, 2023
by
Kimaya Bedarkar
Merged
19
updated
Jun 16, 2023
Add boolean op-type + [builtin_boolean] type.
!114
· created
Sep 20, 2021
by
Rodolphe Lepigre
Merged
15
updated
Dec 01, 2021
Add cast in the definition of rc_copy_alloc_id.
!64
· created
May 21, 2021
by
Rodolphe Lepigre
Merged
0
updated
May 21, 2021
Add CheckOwnInContext
!92
· created
Jul 12, 2021
by
Michael Sammler
Merged
0
updated
Jul 12, 2021
add ci to all branches except noci branches
!172
· created
Feb 06, 2024
by
Michael Sammler
Merged
0
updated
Feb 06, 2024
add forall simpl instances
!91
· created
Jul 12, 2021
by
Michael Sammler
Merged
0
updated
Jul 12, 2021
Add infrastructure to destruct products in function parameters.
!13
· created
Dec 15, 2020
by
Rodolphe Lepigre
Merged
Approved
0
updated
Dec 17, 2020
Add notation for tyexists
!127
· created
Dec 06, 2021
by
Michael Sammler
Merged
0
updated
Dec 06, 2021
add note in developers.md for mlgmpidl library and small corrections in the annotations docs
!143
· created
Apr 04, 2023
by
Kimaya Bedarkar
Merged
1
updated
Apr 04, 2023
Add prosa progress
!168
· created
Sep 26, 2023
by
Kimaya Bedarkar
kimaya/refinedprosav2
Merged
0
updated
Sep 26, 2023
Prev
1
2
3
4
5
…
8
Next