Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
e6e036b3
Commit
e6e036b3
authored
Nov 16, 2020
by
Xavier Leroy
Browse files
Updates for release 3.8
parent
27beb944
Changes
3
Hide whitespace changes
Inline
Side-by-side
Changelog
View file @
e6e036b3
Release 3.8, 2020-11-16
=======================
New features:
- Support `_Static_assert` from ISO C11.
- Support `__builtin_constant_p` from GCC and Clang.
...
...
VERSION
View file @
e6e036b3
version=3.
7
version=3.
8
buildnr=
tag=
branch=
doc/index.html
View file @
e6e036b3
...
...
@@ -24,7 +24,7 @@ a:active {color : Red; text-decoration : underline; }
<H1
align=
"center"
>
The CompCert verified compiler
</H1>
<H2
align=
"center"
>
Commented Coq development
</H2>
<H3
align=
"center"
>
Version 3.
7
, 2020-
03-31
</H3>
<H3
align=
"center"
>
Version 3.
8
, 2020-
11-16
</H3>
<H2>
Introduction
</H2>
...
...
@@ -56,12 +56,14 @@ substantially changed since the overview papers above were
written.
</P>
<P>
The complete sources for CompCert can be downloaded from
<A
HREF=
"http://compcert.inria.fr/"
>
the CompCert Web site
</A>
.
</P>
<A
HREF=
"https://github.com/AbsInt/CompCert/"
>
the Git repository
</A>
or
<A
HREF=
"https://compcert.org/"
>
the CompCert Web site
</A>
.
</P>
<P>
This document and the CompCert sources are copyright Institut
National de Recherche en Informatique et en Automatique (INRIA) and
AbsInt Angewandte Informatik GmbH, and are distributed under the terms of the
following
<A
HREF=
"LICENSE"
>
license
</A>
.
following
<A
HREF=
"LICENSE
.txt
"
>
license
</A>
.
</P>
<H2>
Table of contents
</H2>
...
...
@@ -348,7 +350,7 @@ reconstruction.
</UL>
<HR>
<ADDRESS>
X
avier.
L
eroy@
inria
.fr
</ADDRESS>
<ADDRESS>
x
avier.
l
eroy@
college-de-france
.fr
</ADDRESS>
<HR>
</BODY>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment