- Nov 15, 2024
-
-
Ralf Jung authored
Add requirement of mathpartir to pftools.sty See merge request iris/iris!1087
-
- Nov 13, 2024
-
-
Ralf Jung authored
bupd_alt.v: fix thinko in docs See merge request iris/iris!1088
-
Robbert Krebbers authored
remove link to iris club mailing list from readme See merge request iris/iris!1091
-
Ralf Jung authored
-
Ralf Jung authored
Constrain lock_name to be Inhabited See merge request iris/iris!1089
-
- Nov 12, 2024
-
-
Robbert Krebbers authored
-
- Nov 11, 2024
-
-
Daniel Nezamabadi authored
-
Paolo G. Giarrusso authored
-
- Nov 09, 2024
- Oct 31, 2024
-
-
Isaac van Bakel authored
Without this line, mathpartir.sty doesn't get pulled in to the document despite being used for commands in pftools.sty, which is an annoyance.
-
- Oct 30, 2024
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Update to 4.3.0 See merge request iris/iris!1086
-
-
Ralf Jung authored
-
- Oct 24, 2024
-
-
Ralf Jung authored
The deprecated-hint-without-locality warning does not exist any more, remove it See merge request iris/iris!1084
-
Ralf Jung authored
-
Ralf Jung authored
-
- Oct 19, 2024
-
-
Ralf Jung authored
Show that the solution of the COFE solver is inhabited. See merge request iris/iris!1083
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Oct 07, 2024
-
-
Ralf Jung authored
bump 8.19 to latest minor release See merge request iris/iris!1081
-
Ralf Jung authored
-
- Oct 03, 2024
-
-
Robbert Krebbers authored
Fix proof mode notations to work around https://github.com/coq/coq/pull/19049 See merge request iris/iris!1080
-
Robbert Krebbers authored
-
- Oct 02, 2024
-
-
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
Drop support Coq 8.18. See merge request iris/iris!1079
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
-
- Sep 24, 2024
-
-
Ralf Jung authored
Add missing typeclasses for twp. See merge request iris/iris!1076
-
Janggun Lee authored
Co-authored-by:
Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
-
Janggun Lee authored
-
Janggun Lee authored
-
- Sep 23, 2024
-
-
Janggun Lee authored
-
- Sep 11, 2024
-
-
Ralf Jung authored
Adapt to iris/stdpp!555 See merge request iris/iris!1050
-