- Nov 30, 2022
- Nov 29, 2022
-
-
Ralf Jung authored -
Ralf Jung authored
-
Ralf Jung authored
slightly generalize and reorganize fupd soundness lemmas See merge request iris/iris!863
-
-
- Nov 27, 2022
-
-
Robbert Krebbers authored
Add Fractional and AsFractional instance for embed See merge request iris/iris!868
-
- Nov 26, 2022
-
-
Simon Friis Vindum authored
-
- Nov 24, 2022
-
-
Ralf Jung authored
Add (basic) support for `gset` and `gset_disj` cameras to `set_solver`. See merge request iris/iris!871
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Remove tactic `iSolveTC` in favor of `tc_solve` in std++. See merge request iris/iris!870
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
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
-
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.
-
