- Sep 21, 2023
-
-
Robbert Krebbers authored
-
- Sep 14, 2023
- 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
-
Ralf Jung authored
-
-
- Aug 29, 2023
-
-
Ralf Jung authored
-
Ralf Jung authored
fix lock spec code depending on Σ See merge request iris/iris!979
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
rw_lock: add Proper instances See merge request iris/iris!978
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Added IntoPure instance to simplify internal bi equalities into a pure leibniz equality. See merge request iris/iris!966
-
-
Ralf Jung authored
-
Ralf Jung authored
-
- Aug 28, 2023
-
-
Ralf Jung authored
make lock spec a Class See merge request iris/iris!929
-
Ralf Jung authored
-
-
