diff options
author | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-17 17:31:10 +0200 |
---|---|---|
committer | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-17 17:31:10 +0200 |
commit | 95f918c38b1e59f40ae7af455ec2c6746289375e (patch) | |
tree | 942f79d59e053dc4249b99caf7792dc0a0f5ee7a /doc | |
parent | 8dc2366431f9210ad70a789c389d9d19c6fc802f (diff) | |
download | compcert-kvx-95f918c38b1e59f40ae7af455ec2c6746289375e.tar.gz compcert-kvx-95f918c38b1e59f40ae7af455ec2c6746289375e.zip |
Change "Tunneling" to "LTLTunneling" everywhere
To respect the symmetry between RTL- and LTL-Tunneling
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"> |