H
Hazel
This repository contains the Coq/Iris proofs that accompany the paper A Separation Logic for Effect Handlers.
Attention nous programmons une interruption de service pour une grosse opération de maintenance qui commencera le lundi 16 octobre à 13h et se terminera au plus tard mardi 17h à 09h. Si tout se passe bien le service pourrait reprendre plus tôt (lundi 16 en fin de journée)
La mise à jour de la base PostGRE est terminée. Nous avons profité de l'arrêt de service pour relancer la mise à jour de Gitlab. Nous sommes passés en version 16.3.4.
Nous nous excusons pour la gêne occasionnée, la mise à jour ayant été plus longue que prévue (30 minutes de retard).
Pour consulter les principaux changements lire la release note: https://about.gitlab.com/releases/2023/05/22/gitlab-16-0-released/
This repository contains the Coq/Iris proofs that accompany the paper A Separation Logic for Effect Handlers.