S
spy-game
This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris
[Edité] Attention une mise à jour du service Gitlab Inria va être effectuée le mercredi 27 septembre (et non pas février comme annoncé précédemment) entre 13h00 et 14h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes (habituellement de l'ordre de trois minutes). Il s'agit d'une montée de version majeure.
Attention une mise à jour de la base PostGre sur le service gitlab.inria.fr sera effectuée lundi 02 octobre entraînant une interruption de service entre 17h et 19h.
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)
This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris