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
fix some typos in the tutorial
!130
· created
Feb 17, 2022
by
Kimaya Bedarkar
Merged
1
updated
Feb 17, 2022
Fix W.subst_l slowdown
!142
· created
Mar 07, 2023
by
Lennard Gäher
Merged
1
updated
Mar 07, 2023
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
Generalize the [boolean] type.
!112
· created
Sep 15, 2021
by
Rodolphe Lepigre
Merged
10
updated
Sep 16, 2021
Generate [return 0] for main + small refactoring.
!104
· created
Aug 03, 2021
by
Rodolphe Lepigre
Merged
1
0
updated
Aug 03, 2021
Hide the code in RefinedC goals.
!58
· created
Apr 28, 2021
by
Rodolphe Lepigre
Merged
0
updated
Apr 28, 2021
Implement && and || using IfE.
!97
· created
Jul 16, 2021
by
Rodolphe Lepigre
Merged
Approved
3
updated
Jul 16, 2021
improve liWand performance
!124
· created
Nov 23, 2021
by
Michael Sammler
Merged
0
updated
Nov 23, 2021
Infrastructure for [SimpleSubsumeVal].
!21
· created
Jan 29, 2021
by
Rodolphe Lepigre
Merged
Approved
0
updated
Feb 01, 2021
Intptr
!8
· created
Dec 04, 2020
by
Michael Sammler
Merged
0
updated
Dec 04, 2020
Keep sideconditions inside the iris ctx
!159
· created
Jul 25, 2023
by
Michael Sammler
Merged
0
updated
Jul 25, 2023
Learn side-conditions in the continuation.
!59
· created
Apr 29, 2021
by
Rodolphe Lepigre
Closed
0
updated
Sep 20, 2021
Make caesium an ectxi language
!18
· created
Jan 26, 2021
by
Michael Sammler
Merged
0
updated
Jan 26, 2021
make calls extensible
!87
· created
Jul 08, 2021
by
Michael Sammler
Merged
0
updated
Jul 14, 2021
Make existentials more lazy
!160
· created
Jul 31, 2023
by
Michael Sammler
Merged
0
updated
Jul 31, 2023
Make integer to pointer casting rule more realistic
!77
· created
Jun 21, 2021
by
Michael Sammler
Merged
0
updated
Jun 21, 2021
make lang.base depend on lithium.base
!52
· created
Apr 08, 2021
by
Michael Sammler
Merged
1
updated
Apr 08, 2021
Make more functions simpl never
!25
· created
Feb 08, 2021
by
Michael Sammler
Merged
0
updated
Feb 08, 2021
make structs proof irrelevant
!39
· created
Feb 18, 2021
by
Michael Sammler
Merged
0
updated
Feb 18, 2021
Prev
1
2
3
4
5
6
7
8
9
Next