Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
a05f9278
Commit
a05f9278
authored
Apr 16, 2021
by
Sylvain Boulmé
Browse files
fix broken link in index-kvx.html
parent
95f33ccc
Pipeline
#64910
passed with stages
in 109 minutes and 24 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
doc/index-kvx.html
View file @
a05f9278
...
...
@@ -278,7 +278,7 @@ This IR is generic over the processor, even if currently, only used for KVX.
</TD>
<TD>
RTL to RTL
</TD>
<TD><A
HREF=
"html/compcert.backend.Duplicate.html"
>
Duplicate
</A>
(generic checker)
</TD>
<TD><A
HREF=
"html/compcert.
scheduling
.Duplicateproof.html"
>
Duplicateproof
</A>
(generic proof)
<BR>
<TD><A
HREF=
"html/compcert.
backend
.Duplicateproof.html"
>
Duplicateproof
</A>
(generic proof)
<BR>
<a
href=
"html/compcert.backend.Duplicatepasses.html"
>
Duplicatepasses
</a>
(several passes from several oracles)
</TD>
</TR>
<TR
valign=
"top"
style=
"color:#000000"
>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment