- Nov 16, 2022
-
-
-
Ralf Jung authoredAvoid 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
-
-
- Oct 07, 2022
-
-
Ralf Jung authored
-
- Sep 29, 2022
-
-
Robbert Krebbers authored
-
- Sep 25, 2022
-
-
Ralf Jung authored
-
- Sep 21, 2022
-
-
Ralf Jung authored
fixes #486
-
Robbert Krebbers authored
add Hint Mode for PureExec See merge request iris/iris!846
-
Ralf Jung authored
-
- Sep 20, 2022
-
-
Robbert Krebbers authored
-
- Sep 06, 2022
-
-
Ralf Jung authored
-
- Sep 02, 2022
-
-
Ralf Jung authored
Add soundness lemma for envs_clear_intuitionistic See merge request iris/iris!850
-
- Aug 26, 2022
-
-
Ralf Jung authored
-
Ralf Jung authored
[Docs] Add UltiSnips as an alternative way of inserting unicode characters in Vim See merge request iris/iris!849
-
Old Account Benjamin Peters authored
-
Simon Friis Vindum authored
-
- Aug 25, 2022
-
-
Old Account Benjamin Peters authored
-
Old Account Benjamin Peters authored
-
- Aug 22, 2022
-
-
Old Account Benjamin Peters authored
-
- Aug 20, 2022
-
-
Ralf Jung authored
-
