Ralf Jung (2252f7ff) at 02 Feb 15:25
update dependencies
Ralf Jung (3641720d) at 02 Feb 15:22
bump to Coq 8.18 / 8.19
Ralf Jung (04fbe420) at 06 Nov 20:49
update dependencies
Ralf Jung (ac33045b) at 29 Sep 15:26
update dependencies
Ralf Jung (aaabb4e4) at 29 Sep 15:16
test on Coq 8.18
Robbert Krebbers (3a1671cf) at 17 May 10:47
Remove unneeded %I
s.
Ralf Jung (f57d4299) at 03 May 20:20
update dependencies
Ralf Jung (ce728399) at 03 May 08:10
bring back Coq 8.16 test; fix coq_makefile warning
Robbert Krebbers (438f16ec) at 02 May 20:41
Remove Coq 8.14.
Robbert Krebbers (69cce1cb) at 02 May 20:20
Bump Iris; bump minimal Coq version to 8.17.
Ralf Jung (2b26f157) at 02 May 19:35
centrally control the Coq version to test every night
Ralf Jung (4208ae96) at 21 Apr 12:40
update dependencies
Robbert Krebbers (46033c93) at 09 Mar 15:13
Fix exercises.
Robbert Krebbers (962f2131) at 09 Mar 14:43
Bump Iris (beautify code for iCombine .. gives
).
Ralf Jung (31b71f8f) at 04 Nov 15:32
re-generate exercises
Ralf Jung (0c9caad4) at 04 Nov 15:26
explain ⌜...⌝
Ralf Jung (31f38023) at 09 Sep 14:36
remove unnecessary import
Ralf Jung (876c5f03) at 12 Aug 13:56
8.16.dev for nightly builds
Ralf Jung (2c7e38db) at 11 Aug 16:48
update dependencies; do nightly builds with Coq 8.16