- Nov 24, 2022
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- Nov 23, 2022
-
-
Ralf Jung authored
-
Ralf Jung authored
heaplang.sty: avoid clash with hyperref Closes #489 See merge request iris/iris!858
-
Ralf Jung authored
-
- Nov 18, 2022
-
-
Ralf Jung authored
Use `binder` in notations for big ops See merge request iris/iris!867
-
- Nov 17, 2022
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Nov 16, 2022
-
-
Ralf Jung authored
fix typo See merge request iris/iris!866
-
Ralf Jung authored
Consider intro pattern `IRewrite` (->/<-) to be intuitionistic See merge request iris/iris!856
-
-
Armaël Guéneau authored
-
Ralf Jung authored
Avoid relying on native_compute. See merge request iris/iris!865
-
Robbert Krebbers authored
-
- Nov 15, 2022
-
-
Ralf Jung authored
-
- Nov 14, 2022
-
-
Robbert Krebbers authored
Style: `:=` belongs to line end See merge request iris/iris!864
-
Paolo G. Giarrusso authored
These are all the occurrences of `^ *:=`. `:=$` occurs ~2000 times between Iris and stdpp. Noticed while confirming this is the preferred stdpp/iris style.
-
- Nov 09, 2022
-
-
Robbert Krebbers authored
Add transitive closure for bi See merge request iris/iris!862
-
-
Robbert Krebbers authored
Added [cmra_update_included] lemma See merge request iris/iris!861
-
Jonas Kastberg authored
-
- Nov 02, 2022
-
-
Ralf Jung authored
-
- Oct 31, 2022
-
-
Ralf Jung authored
Better instance for `IntoWand` of `∀ _ : φ, P` Closes #492 See merge request iris/iris!860
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Oct 28, 2022
-
-
Ralf Jung authored
docs/proof_guide.md: fix broken link See merge request iris/iris!859
-
Armaël Guéneau authored
-
Ralf Jung authored
Clean up \valForm / \exprForm See merge request iris/iris!853
-
-
Ralf Jung authored
Changed HeapLang operator macros to support both parentheses and spaces See merge request iris/iris!852
-
-
- Oct 27, 2022
-
-
Ralf Jung authored
-
Ralf Jung authored
Disable Implicit Generalization for Typeclass Arguments See merge request iris/iris!855
-
-
