- 18 Jun, 2019 1 commit
-
-
Ralf Jung authored
-
- 17 Jun, 2019 2 commits
- 14 Jun, 2019 8 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Adequacy: Fix typo See merge request iris/iris!268
-
Paolo G. Giarrusso authored
-
Ralf Jung authored
-
- 13 Jun, 2019 9 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Add the lazy_coin example See merge request iris/iris!264
-
Amin Timany authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- 12 Jun, 2019 14 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
The new adequacy statement unifies `wp_strong_adequacy`, `wp_strong_all_adequacy`, and `wp_invariance`.
-
- 11 Jun, 2019 6 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
change frac_auth notation See merge request iris/iris!259
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Jacques-Henri Jourdan authored
The unbounded fractional authoritative camera See merge request iris/iris!187
-