Commit e1725209 authored by Xavier Leroy's avatar Xavier Leroy
Browse files

Update for release 3.6

parent db96b0e2
......@@ -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.5, 2019-02-27</H3>
<H3 align="center">Version 3.6, 2019-09-17</H3>
<H2>Introduction</H2>
......@@ -180,7 +180,8 @@ code.
</TR>
<TR valign="top">
<TD>Recognition of operators<br>and addressing modes</TD>
<TD>Recognition of operators<br>and addressing modes;<br>
if-conversion</TD>
<TD>Cminor to CminorSel</TD>
<TD><A HREF="html/compcert.backend.Selection.html">Selection</A><br>
<A HREF="html/compcert.powerpc.SelectOp.html"><I>SelectOp</I></A><br>
......
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