blob: 936da675babe31fad14d1ca08615dc7c997184f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
+++
title = "Teams working on CompCert"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8"]
forwardlinks = ["3a8", "3a10"]
zettelid = "3a9"
+++
[Verimag]
: Works on CompCert-KVX, Hash consing in CompCert, Impure computations
in Coq.
[Celtique]
: Works on constant time CompCert and CompCertSSA ([\#3a8]).
[Xavier Leroy]
: Works on original CompCert.
[Verimag]: https://www-verimag.imag.fr/FormalProofs-members.html
[Celtique]: https://team.inria.fr/celtique/
[\#3a8]: /zettel/3a8
[Xavier Leroy]: https://xavierleroy.com/
|