- Mar 06, 2019
-
-
Hai Dang authored
-
- Mar 04, 2019
- Feb 28, 2019
- Feb 27, 2019
-
-
Hai Dang authored
-
- Feb 26, 2019
-
-
Hai Dang authored
-
- Feb 22, 2019
-
-
Ralf Jung authored
-
- Feb 21, 2019
- 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.
-
