- May 12, 2021
-
-
Jacques-Henri Jourdan authored
This reverts commit f4a6ea09.
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
-
- May 11, 2021
-
-
Jacques-Henri Jourdan authored
-
Yusuke Matsushita authored -
Yusuke Matsushita authored
-
- May 07, 2021
-
-
Ralf Jung authoredImprove notations for functions See merge request iris/lambda-rust!23
-
- May 05, 2021
- May 04, 2021
-
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
We use fnrec: for recursive functions and fn: for non-recursve functions. This is both shorter and closer to Rust.
-
- May 01, 2021
-
-
Jacques-Henri Jourdan authored
-
- Apr 28, 2021
-
-
Ralf Jung authored
-
- Apr 20, 2021
-
-
Robbert Krebbers authored
-
- Mar 16, 2021
-
-
Ralf Jung authored
Update iris dependency See merge request iris/lambda-rust!22
-
Michael Sammler authored
-
- Mar 15, 2021
-
-
Ralf Jung authored
using Tej's script from iris/iris!594 (comment 60292)
-
Ralf Jung authored
-
Ralf Jung authored
add GhostCell proof See merge request iris/lambda-rust!19
-
- Mar 11, 2021
- Mar 09, 2021
-
-
Ralf Jung authored
-
- Mar 07, 2021
-
-
Jacques-Henri Jourdan authored
-
- Mar 03, 2021
-
-
Ralf Jung authored
-
- Feb 16, 2021
-
-
Ralf Jung authored
-
- Feb 14, 2021
-
-
Robbert Krebbers authored
-
- Feb 12, 2021
- Feb 11, 2021
- Jan 30, 2021
-
-
Ralf Jung authored
-
- Jan 29, 2021
