diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/index-kvx.html | 6 | ||||
-rw-r--r-- | doc/index.html | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/doc/index-kvx.html b/doc/index-kvx.html index 62afb423..daa4cdc4 100644 --- a/doc/index-kvx.html +++ b/doc/index-kvx.html @@ -315,10 +315,10 @@ This IR is generic over the processor, even if currently, only used for KVX. </TR> <TR valign="top"> - <TD>Branch tunneling</TD> + <TD>(LTL) Branch tunneling</TD> <TD>LTL to LTL</TD> - <TD><A HREF="html/compcert.backend.Tunneling.html">Tunneling</A></TD> - <TD><A HREF="html/compcert.backend.Tunnelingproof.html">Tunnelingproof</A></TD> + <TD><A HREF="html/compcert.backend.LTLTunneling.html">LTLTunneling</A></TD> + <TD><A HREF="html/compcert.backend.LTLTunnelingproof.html">LTLTunnelingproof</A></TD> </TR> <TR valign="top"> diff --git a/doc/index.html b/doc/index.html index c3912cb2..34b87924 100644 --- a/doc/index.html +++ b/doc/index.html @@ -270,10 +270,10 @@ code. </TR> <TR valign="top"> - <TD>Branch tunneling</TD> + <TD>(LTL) Branch tunneling</TD> <TD>LTL to LTL</TD> - <TD><A HREF="html/compcert.backend.Tunneling.html">Tunneling</A></TD> - <TD><A HREF="html/compcert.backend.Tunnelingproof.html">Tunnelingproof</A></TD> + <TD><A HREF="html/compcert.backend.LTLTunneling.html">LTLTunneling</A></TD> + <TD><A HREF="html/compcert.backend.LTLTunnelingproof.html">LTLTunnelingproof</A></TD> </TR> <TR valign="top"> |