MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit aa8a0392 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Public (non-anonymous) version.

parent fe631126
......@@ -4,3 +4,10 @@
howpublished = {\url{https://plv.mpi-sws.org/coqdoc/iris/iris.base_logic.lib.gen_heap.html}},
year="2021",
}
@Misc{repo,
author={Jean-Marie Madiot and François Pottier},
title={A Separation Logic for Heap Space under Garbage Collection: Coq formalization},
howpublished = {\url{https://gitlab.inria.fr/fpottier/diamonds/}},
year = "2021",
}
% For double-blind review submission:
\documentclass[acmsmall,review,anonymous]{acmart}
% \documentclass[acmsmall,review,anonymous]{acmart}
% \settopmatter{printfolios=true}
% For single-blind review submission:
% \documentclass[acmsmall,review]{acmart}
% \settopmatter{printfolios=true}
% For final camera-ready submission:
% \documentclass[acmsmall]{acmart}
% \settopmatter{}
\documentclass[acmsmall]{acmart}
\settopmatter{}
% LATER for submission, electronic supplement; for final version, repository
\iftrue
\iffalse
\newcommand{\citerepo}{(see anonymized electronic supplement)}
\newcommand{\longciterepo}{the anonymized electronic supplement}
\else
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment