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
make calls extensible
!87
· created
Jul 08, 2021
by
Michael Sammler
Merged
0
updated
Jul 14, 2021
Make caesium an ectxi language
!18
· created
Jan 26, 2021
by
Michael Sammler
Merged
0
updated
Jan 26, 2021
Learn side-conditions in the continuation.
!59
· created
Apr 29, 2021
by
Rodolphe Lepigre
Closed
0
updated
Sep 20, 2021
Keep sideconditions inside the iris ctx
!159
· created
Jul 25, 2023
by
Michael Sammler
Merged
0
updated
Jul 25, 2023
Intptr
!8
· created
Dec 04, 2020
by
Michael Sammler
Merged
0
updated
Dec 04, 2020
Infrastructure for [SimpleSubsumeVal].
!21
· created
Jan 29, 2021
by
Rodolphe Lepigre
Merged
Approved
0
updated
Feb 01, 2021
improve liWand performance
!124
· created
Nov 23, 2021
by
Michael Sammler
Merged
0
updated
Nov 23, 2021
Implement && and || using IfE.
!97
· created
Jul 16, 2021
by
Rodolphe Lepigre
Merged
Approved
3
updated
Jul 16, 2021
Hide the code in RefinedC goals.
!58
· created
Apr 28, 2021
by
Rodolphe Lepigre
Merged
0
updated
Apr 28, 2021
Generate [return 0] for main + small refactoring.
!104
· created
Aug 03, 2021
by
Rodolphe Lepigre
Merged
1
0
updated
Aug 03, 2021
Generalize the [boolean] type.
!112
· created
Sep 15, 2021
by
Rodolphe Lepigre
Merged
10
updated
Sep 16, 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
0
updated
Apr 08, 2021
Fix W.subst_l slowdown
!142
· created
Mar 07, 2023
by
Lennard Gäher
Merged
1
updated
Mar 07, 2023
fix some typos in the tutorial
!130
· created
Feb 17, 2022
by
Kimaya Bedarkar
Merged
1
updated
Feb 17, 2022
Fix res_ty for rc_annot
!131
· created
Feb 23, 2022
by
Michael Sammler
Merged
Approved
2
updated
Feb 23, 2022
Fix inversion of signedness for [uintptr_t] and [intptr_t].
!20
· created
Jan 28, 2021
by
Rodolphe Lepigre
Merged
0
updated
Jan 28, 2021
Fix cast insertion in the front end.
!17
· created
Jan 23, 2021
by
Rodolphe Lepigre
Closed
2
updated
Jan 28, 2021
Finished [early_alloc.c].
!43
· created
Feb 19, 2021
by
Rodolphe Lepigre
Merged
Approved
10
updated
Feb 22, 2021
Find hypothesis by semantic equality
!45
· created
Feb 22, 2021
by
Michael Sammler
Merged
0
updated
Feb 23, 2021
Prev
1
2
3
4
5
6
7
8
9
Next