- 24 Feb, 2021 1 commit
-
-
Ralf Jung authored
-
- 17 Feb, 2021 1 commit
-
-
Ralf Jung authored
-
- 16 Feb, 2021 6 commits
- 15 Feb, 2021 3 commits
-
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- 14 Feb, 2021 1 commit
-
-
Robbert Krebbers authored
fix monPred scope binding See merge request !638
-
- 13 Feb, 2021 1 commit
-
-
Ralf Jung authored
-
- 12 Feb, 2021 6 commits
-
-
Robbert Krebbers authored
Rename `equiv_spec` → `equiv_entails` to be consistent with conventions in std++. See merge request !628
-
Robbert Krebbers authored
Hence, also rename (the old) `equiv_entails` → `equiv_entails_1_1` and `equiv_entails_sym` → `equiv_entails_1_2`, and add `equiv_entails_2` for completeness.
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- 11 Feb, 2021 1 commit
-
-
Enrico Tassi authored
-
- 10 Feb, 2021 3 commits
- 05 Feb, 2021 4 commits
- 04 Feb, 2021 1 commit
-
-
Ralf Jung authored
-
- 03 Feb, 2021 2 commits
-
-
Ralf Jung authored
create iris-deprecated and iris-staging packages, and deprecate some hard-to-use logic-level wrappers as well as view shift and Hoare triple notation
- 02 Feb, 2021 6 commits
-
-
Robbert Krebbers authored
Fix wp_bind's error message Closes #401 See merge request !633
-
Tej Chajed authored
Fixes #401
-
Ralf Jung authored
-
Ralf Jung authored
-
Tej Chajed authored
-
- 01 Feb, 2021 4 commits