Merge Requests · Iris / lambda-rust

Update iris dependency

!22 · created Mar 16, 2021 by Michael Sammler
- MERGED
- 1
updated Mar 16, 2021
Pinning

!21 · created Mar 11, 2021 by Michael Sammler
- 13
updated Mar 24, 2021
WIP: Pinning

!20 · created Mar 10, 2021 by Michael Sammler
- CLOSED
- 2
updated Mar 11, 2021
add GhostCell proof 4 of 4 tasks completed

!19 · created Mar 09, 2021 by Ralf Jung
- MERGED
- 21
updated Mar 16, 2021
prove model for own_ptr

!18 · created Mar 01, 2021 by Xavier Denis rusthornbelt
- MERGED
- 3
updated Mar 02, 2021
Fix typos

!17 · created Oct 29, 2020 by Yusuke Matsushita
- MERGED
- 1
updated Oct 29, 2020
fill in blanks in LICENSE

!16 · created Mar 13, 2020 by Ralf Jung masters/weak_mem
- MERGED
- 1
updated Mar 14, 2020
fill in blanks in LICENSE

!15 · created Mar 13, 2020 by Ralf Jung
- MERGED
- 2
updated Mar 14, 2020
Avoid relying on `Export` bugs

!14 · created Sep 10, 2019 by Maxime Dénès
- CLOSED
- 2
updated Sep 15, 2019
Adapt to coq/coq#8829 (Error when [foo.(bar)] is used with nonprojection [bar])

!13 · created Feb 18, 2019 by Gaëtan Gilbert
- MERGED
- 6
updated Feb 20, 2019
Bump Iris version

!12 · created Feb 04, 2019 by Maxime Dénès
- MERGED
- 1
updated Feb 04, 2019
Make trivial instances explicit

!11 · created Jan 24, 2019 by Maxime Dénès
- MERGED
- 1
updated Jan 24, 2019
Use `<:` (VMcast) for instances of `exact I` in lang/tactics.v

!10 · created Feb 28, 2018 by Janno
- MERGED
- 13
updated Mar 01, 2018
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
Adding location equality.

!7 · created Aug 29, 2017 by Joshua Yanovski
- CLOSED
- 19
updated Sep 28, 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