Mentions légales du service
GitLab upgrade completed. Current version is 19.2.8 https://docs.gitlab.com/releases/19/gitlab-19-2-released/
Abstract domain for function graphs, and fixpoint solvers based on them
