Merge requests · Iris / lambda-rust

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
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