Skip to content
GitLab
Explore
Sign in
Iris
lambda-rust
Merge requests
Open
4
Merged
28
Closed
4
All
36
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}}
Updated date
Put the entire development under the BSD license
!9
· created
Oct 30, 2017
by
Ralf Jung
Merged
7
updated
Oct 30, 2017
Add poison
!8
· created
Oct 30, 2017
by
Ralf Jung
Merged
4
updated
Oct 30, 2017
Make [ELCtx_Alive] a coercion
!6
· created
Mar 05, 2017
by
Jacques-Henri Jourdan
Merged
5
updated
Mar 06, 2017
Make box a definition and prove it contractive
!5
· created
Mar 04, 2017
by
Ralf Jung
Merged
12
updated
Mar 06, 2017
lifetime logic: use agree instead of dec_agree
!4
· created
Dec 09, 2016
by
Ralf Jung
Merged
1
updated
Dec 09, 2016
Coq 8.6
!3
· created
Dec 01, 2016
by
Ralf Jung
Merged
6
updated
Dec 02, 2016
New opam-based CI and build system
!2
· created
Nov 27, 2016
by
Ralf Jung
Merged
16
updated
Nov 28, 2016
add iris as submodule
!1
· created
Nov 01, 2016
by
Ralf Jung
Merged
14
updated
Nov 03, 2016
Prev
1
2
Next