- Feb 21, 2019
-
-
Hai Dang authored
-
Ralf Jung authored -
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- Feb 20, 2019
-
-
Ralf Jung authored
Adapt to coq/coq#8829 (Error when [foo.(bar)] is used with nonprojection [bar]) See merge request iris/lambda-rust!13
-
Robbert Krebbers authored
-
- Feb 15, 2019
-
-
Hai Dang authored
-
- Feb 12, 2019
-
-
Gaëtan Gilbert authored
-
- Feb 11, 2019
-
-
Hai Dang authored
-
- Feb 07, 2019
-
-
Hai Dang authored
-
- Feb 05, 2019
-
-
Ralf Jung authored
-
- Feb 04, 2019
-
-
Ralf Jung authored
Bump Iris version See merge request iris/lambda-rust!12
-
Maxime Dénès authored
-
- Feb 01, 2019
- Jan 31, 2019
- Jan 30, 2019
- Jan 24, 2019
-
-
Ralf Jung authored
-
Ralf Jung authored
Make trivial instances explicit See merge request FP/LambdaRust-coq!11
-
Maxime Dénès authored
This is in preparation for coq/coq#9274.
-
- Jan 23, 2019
-
-
Ralf Jung authored
-
- Jan 15, 2019
- Jan 08, 2019
-
-
Hai Dang authored
-
- Jan 07, 2019
-
-
Hai Dang authored
-
- Jan 02, 2019
-
-
Ralf Jung authored
-
- Dec 19, 2018
- Dec 14, 2018
-
-
Hai Dang authored
-
- Dec 10, 2018
-
-
Hai Dang authored
-
- Nov 21, 2018
