Skip to content

Commit

Permalink
More updates for release 3.11
Browse files Browse the repository at this point in the history
  • Loading branch information
@xavierleroy
xavierleroy committed Jun 27, 2022
1 parent bcfa971 commit e4bba56
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,11 +25,11 @@

<H1 align="center">The CompCert verified compiler</H1>
<H2 align="center">Commented Coq development</H2>
<H3 align="center">Version 3.10, 2021-11-19</H3>
<H3 align="center">Version 3.11, 2022-06-27</H3>

<H2>Introduction</H2>

<P>CompCert is a compiler that generates PowerPC, ARM, RISC-V and x86 assembly
<P>CompCert is a compiler that generates ARM, PowerPC, RISC-V and x86 assembly
code from CompCert C, a large subset of the C programming language.
The particularity of this compiler is that it is written mostly within
the specification language of the Coq proof assistant, and its
Expand Down

0 comments on commit e4bba56

Please sign in to comment.