Ralf Jung (a4e89895) at 08 Mar 15:44
publish lifetime logic dev packages
Ralf Jung (a5815ddc) at 08 Mar 14:55
fix coq-lifetime package
Ralf Jung (fa3550d6) at 08 Mar 14:51
split the lifetime logic into its own package
Thanks, merging!
Robbert Krebbers (869bf053) at 06 Mar 09:26
Merge branch 'ike/fix_limit_iframe_ex' into 'master'
... and 1 more commit
Hai Dang (9f368673) at 19 Feb 10:12
Bump dependecy: actual bump (fix opam file)
Hai Dang (9e5d22fc) at 19 Feb 10:10
Bump dependency: fix proofs for new iFrame
Ralf Jung (9003ab64) at 16 Feb 12:28
Merge branch 'ike/frame_exist' into 'master'
... and 4 more commits
Jacques-Henri Jourdan (8d798c30) at 07 Feb 08:18
Bump
Ralf Jung (ef5cb4bd) at 06 Feb 07:46
fix Coq 8.19 build
Ralf Jung (e85f814f) at 05 Feb 15:32
update dependencies
Ralf Jung (ed086ab7) at 26 Dec 14:32
update dependencies
Ralf Jung (9896c67c) at 15 Dec 10:08
update dependencies