diff options
| author | Andre <maroneze@users.noreply.github.com> | 2019-01-22 14:32:25 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-01-22 14:32:25 +0100 |
| commit | 8a1f8f93d7e17154743daa1139a8971a51ec70c3 (patch) | |
| tree | 409754a6edff660eecc02938786a8aebc6af04a0 /doc | |
| parent | 459f6414ee9ba5a0a8e138ab589eb3e1b88b5daa (diff) | |
| download | compcert-kvx-8a1f8f93d7e17154743daa1139a8971a51ec70c3.tar.gz compcert-kvx-8a1f8f93d7e17154743daa1139a8971a51ec70c3.zip | |
Fix some URLs in the first page of the Coq HTML documentation (#263)
Links to machine-specific modules were garbled during editing.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/index.html b/doc/index.html index 72875e1a..78d43504 100644 --- a/doc/index.html +++ b/doc/index.html @@ -183,7 +183,7 @@ code. <TD>Recognition of operators<br>and addressing modes</TD> <TD>Cminor to CminorSel</TD> <TD><A HREF="html/compcert.backend.Selection.html">Selection</A><br> - <A HREF="html/Selectcompcert.powerpc.Op.html"><I>SelectOp</I></A><br> + <A HREF="html/compcert.powerpc.SelectOp.html"><I>SelectOp</I></A><br> <A HREF="html/compcert.powerpc.SelectLong.html"><I>SelectLong</I></A><br> <A HREF="html/compcert.backend.SelectDiv.html">SelectDiv</A><br> <A HREF="html/compcert.backend.SplitLong.html">SplitLong</A></TD> @@ -228,7 +228,7 @@ code. <TD>Constant propagation</TD> <TD>RTL to RTL</TD> <TD><A HREF="html/compcert.backend.Constprop.html">Constprop</A><br> - <A HREF="html/compcert.powerpc.Constpropcompcert.powerpc.Op.html"><I>ConstpropOp</I></A></TD> + <A HREF="html/compcert.powerpc.ConstpropOp.html"><I>ConstpropOp</I></A></TD> <TD><A HREF="html/compcert.backend.Constpropproof.html">Constpropproof</A><br> <A HREF="html/compcert.powerpc.ConstpropOpproof.html"><I>ConstproppOproof</I></A></TD> </TR> @@ -237,7 +237,7 @@ code. <TD>Common subexpression elimination</TD> <TD>RTL to RTL</TD> <TD><A HREF="html/compcert.backend.CSE.html">CSE</A><BR> - <A HREF="html/compcert.powerpc.Combinecompcert.powerpc.Op.html"><I>CombineOp</I></A></TD> + <A HREF="html/compcert.powerpc.CombineOp.html"><I>CombineOp</I></A></TD> <TD><A HREF="html/compcert.backend.CSEproof.html">CSEproof</A><BR> <A HREF="html/compcert.powerpc.CombineOpproof.html"><I>CombineOpproof</I></A></TD> </TR> @@ -328,10 +328,10 @@ CSE, and dead code elimination. <LI> <A HREF="html/compcert.backend.Liveness.html">Liveness</A>: liveness analysis</A>. <LI> <A HREF="html/compcert.backend.ValueAnalysis.html">ValueAnalysis</A>: value and alias analysis</A> <BR> See also: <A HREF="html/compcert.backend.ValueDomain.html">ValueDomain</A>: the abstract domain for value analysis.<BR> -See also: <A HREF="html/ValueAcompcert.powerpc.Op.html"><I>ValueAOp</I></A>: processor-dependent parts of value analysis. +See also: <A HREF="html/compcert.powerpc.ValueAOp.html"><I>ValueAOp</I></A>: processor-dependent parts of value analysis. <LI> <A HREF="html/compcert.backend.Deadcode.html">Deadcode</A>: neededness analysis</A> <BR> See also: <A HREF="html/compcert.backend.NeedDomain.html">NeedDomain</A>: the abstract domain for neededness analysis.<BR> -See also: <A HREF="html/compcert.powerpc.Needcompcert.powerpc.Op.html"><I>NeedOp</I></A>: processor-dependent parts of neededness analysis. +See also: <A HREF="html/compcert.powerpc.NeedOp.html"><I>NeedOp</I></A>: processor-dependent parts of neededness analysis. </UL> <H3>Type systems</H3> |