- Aug 08, 2022
-
-
- Aug 05, 2022
-
-
Ralf Jung authored -
Michael Sammler authored
update std++ See merge request iris/iris!831
-
Michael Sammler authored
-
- Aug 04, 2022
-
-
Ralf Jung authored
rename staging to unstable See merge request iris/iris!826
-
Ralf Jung authored
logatom_lock tweaks See merge request iris/iris!829
-
Ralf Jung authored
-
Ralf Jung authored
-
- Aug 03, 2022
- Aug 02, 2022
-
-
Ralf Jung authored
-
- Aug 01, 2022
-
-
Ralf Jung authored
[Docs] Add "Fira Code Retina" instructions for Linux See merge request iris/iris!824
-
- Jul 30, 2022
-
-
- Jul 27, 2022
-
-
Robbert Krebbers authored
Fix a proof broken on Coq master See merge request iris/iris!822
-
Tej Chajed authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Add later credits to the WP See merge request iris/iris!808
-
-
- Jul 26, 2022
-
-
Robbert Krebbers authored
Make validy lemmas for `excl_auth` and `(u)frac_auth` more consistent with `auth`. See merge request iris/iris!804
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
and `frac_auth_frag_valid_op_1_l`, add `frac_auth_frag_op_validN` and `frac_auth_frag_op_valid`, which are bi-implications with arbitrary fractions.
-
- Jul 23, 2022
-
-
Ralf Jung authored
-
- Jul 20, 2022
-
-
Ralf Jung authored
Remove unused Qp argument to dfrac_valid_discarded See merge request iris/iris!819
-
Tej Chajed authored
-
Ralf Jung authored
add mono_nat_lb_own_0 See merge request iris/iris!817
-
Robbert Krebbers authored
general lemma that a fixpoint is Persistent/Absorbing/Affine See merge request iris/iris!810
-
- Jul 19, 2022
-
-
Ralf Jung authored
Make saved props have discardable fractions See merge request iris/iris!802
-
-
Ralf Jung authored
-
Ralf Jung authored
Tweak priority of proof mode instances for £. Closes #470 See merge request iris/iris!818
-
Ralf Jung authored
-
Ralf Jung authored
-
-
Ralf Jung authored
-
- Jul 18, 2022
-
-
Robbert Krebbers authored
-
