- Oct 03, 2023
-
-
Ralf Jung authored
-
- Sep 29, 2023
- Sep 27, 2023
-
-
Ralf Jung authored
Document convention to use `f_as_g` in naming. See merge request iris/iris!990
-
Robbert Krebbers authored
See iris/stdpp!459 (comment 96622)
-
- Sep 26, 2023
- Sep 21, 2023
-
-
Robbert Krebbers authored
Naming convention about lookup/elem_of. See merge request iris/iris!988
-
Robbert Krebbers authored
-
Ralf Jung authored
remove some Coq 8.15 support hacks See merge request iris/iris!987
-
Robbert Krebbers authored
-
- Sep 14, 2023
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
fix Coq 8.18 deprecation warnings See merge request iris/iris!986
-
Ralf Jung authored
-
Ralf Jung authored
drop support for Coq 8.15 See merge request iris/iris!985
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- Sep 11, 2023
-
-
Ralf Jung authored
-
Ralf Jung authored
Move MRA out of unstable. Closes #414 See merge request iris/iris!963
-
Amin Timany authored
-
Robbert Krebbers authored
-
- Sep 08, 2023
-
-
Ralf Jung authored
add another ▷ paradox by Yusuke See merge request iris/iris!983
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- Sep 01, 2023
-
-
Ralf Jung authored
Technical Reference: step index missing in state interpretation, typo in monotonicity def See merge request iris/iris!982
-
janine-lohse authored
-
janine-lohse authored
-
- Aug 30, 2023
-
-
Ralf Jung authored
Test that lock `Σ`s can be found in adequacy See merge request iris/iris!981
-
-
Ralf Jung authored
-
