Skip to content

Commit

Permalink
Pages from 7ec15b6
Browse files Browse the repository at this point in the history
  • Loading branch information
HadrienRenaud committed Sep 21, 2023
1 parent b427c33 commit 8a6aac2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion herdtools7/aslref.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>aslref (herdtools7.aslref)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="index.html">Up</a><a href="index.html">herdtools7</a> &#x00BB; aslref</nav><header class="odoc-preamble"><h1 id="aslref"><a href="#aslref" class="anchor"></a>ASLRef</h1><p>Welcome!</p></header><nav class="odoc-toc"><ul><li><a href="#disclaimer">Disclaimer</a></li><li><a href="#pointers">Pointers</a></li></ul></nav><div class="odoc-content"><h2 id="disclaimer"><a href="#disclaimer" class="anchor"></a>Disclaimer</h2><p>This material covers both ASLv0 (viz, the existing ASL pseudocode language which appears in the Arm Architecture Reference Manual) and ASLv1, a new, experimental, and as yet unreleased version of ASL.</p><p>This material is work in progress, more precisely at pre-Alpha quality as per Arm’s quality standards. In particular, this means that it would be premature to base any production tool development on this material.</p><p>However, any feedback, question, query and feature request would be most welcome; those can be sent to Arm’s Architecture Formal Team Lead Jade Alglave &lt;[email protected]&gt; or by raising issues or PRs to the herdtools7 github repository.</p><h2 id="pointers"><a href="#pointers" class="anchor"></a>Pointers</h2><p>For the ASL reference documents see <a href="ASLSemanticsReference.html"><code>ASLSemanticsReference</code></a> or <a href="ASLTypingReference.html"><code>ASLTypingReference</code></a>.</p><p>For instructions on how to build and run ASLRef, see <a href="ASLRefREADME.html"><code>ASLRefREADME</code></a>.</p><p>For the developper documentation of <code>asllib</code>, see <a href="Asllib/index.html"><code>Asllib</code></a>.</p></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>aslref (herdtools7.aslref)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="index.html">Up</a><a href="index.html">herdtools7</a> &#x00BB; aslref</nav><header class="odoc-preamble"><h1 id="aslref"><a href="#aslref" class="anchor"></a>ASLRef</h1><p>Welcome!</p></header><nav class="odoc-toc"><ul><li><a href="#disclaimer">Disclaimer</a></li><li><a href="#pointers">Pointers</a></li></ul></nav><div class="odoc-content"><h2 id="disclaimer"><a href="#disclaimer" class="anchor"></a>Disclaimer</h2><p>This material covers both ASLv0 (viz, the existing ASL pseudocode language which appears in the Arm Architecture Reference Manual) and ASLv1, a new, experimental, and as yet unreleased version of ASL.</p><p>This material is work in progress, more precisely at pre-Alpha quality as per Arm’s quality standards. In particular, this means that it would be premature to base any production tool development on this material.</p><p>However, any feedback, question, query and feature request would be most welcome; those can be sent to Arm’s Architecture Formal Team Lead Jade Alglave &lt;[email protected]&gt; or by raising issues or PRs to the herdtools7 github repository.</p><h2 id="pointers"><a href="#pointers" class="anchor"></a>Pointers</h2><p>For the ASL reference documents see <a href="ASLSemanticsReference.html"><code>ASLSemanticsReference</code></a> or <a href="ASLTypingReference.html"><code>ASLTypingReference</code></a>.</p><p>For instructions on how to build and run ASLRef, see <a href="ASLRefREADME.html"><code>ASLRefREADME</code></a>.</p><p>For the developer documentation of <code>asllib</code>, see <a href="Asllib/index.html"><code>Asllib</code></a>.</p></div></body></html>

0 comments on commit 8a6aac2

Please sign in to comment.