From 95f918c38b1e59f40ae7af455ec2c6746289375e Mon Sep 17 00:00:00 2001 From: Pierre Goutagny Date: Thu, 17 Jun 2021 17:31:10 +0200 Subject: Change "Tunneling" to "LTLTunneling" everywhere To respect the symmetry between RTL- and LTL-Tunneling --- doc/index-kvx.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/index-kvx.html') 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. - Branch tunneling + (LTL) Branch tunneling LTL to LTL - Tunneling - Tunnelingproof + LTLTunneling + LTLTunnelingproof -- cgit