Robbert Krebbers (3b66bedb) at 16 Feb 19:11
Bump Iris (iFrame).
I was doing Print Assumptions
and noticed an Admitted in ReLoC here.
Beautiful, thanks, Ralf
Ralf Jung (efeb255f) at 02 Feb 18:21
Ralf Jung (efeb255f) at 02 Feb 17:32
bump to Coq 8.18
Ralf Jung (2c6ba038) at 02 Feb 17:32
update dependencies
Ralf Jung (b7a16730) at 06 Nov 21:12
finish mapsto rename
Ralf Jung (ff8d4a47) at 06 Nov 21:00
update dependencies
Robbert Krebbers (14886718) at 03 Oct 12:45
Fixes for Coq 8.18.
Ralf Jung (2d97c5e3) at 03 Oct 07:16
update dependencies
Ralf Jung (fb53e7ac) at 14 Sep 14:25
bump Iris
Ralf Jung (745fd15f) at 31 Aug 13:22
update dependencies
Ralf Jung (660cbb30) at 14 Jun 20:26
update dependencies
Ralf Jung (df6b9158) at 09 Jun 08:14
avoid fractional_half_2
Robbert Krebbers (619ff195) at 04 Jun 15:30
Update Iris.