C
crv14
This group is purposed to host benchmarks and experiments related to CRV 14, the 1st International Competition on Runtime Verification held as part of the 2014 edition of the Runtime Verification conference.
[En cours] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
[In progress] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
La mise à jour de sécurité du lundi 4 novembre 2024 est terminé. Nous sommes désormais en version 17.5.1.
Release notes correspondantes :
https://about.gitlab.com/releases/2024/09/19/gitlab-17-4-released/
https://about.gitlab.com/releases/2024/10/17/gitlab-17-5-released/
This group is purposed to host benchmarks and experiments related to CRV 14, the 1st International Competition on Runtime Verification held as part of the 2014 edition of the Runtime Verification conference.