diff options
Diffstat (limited to 'docs/proof/Compiler.html')
-rw-r--r-- | docs/proof/Compiler.html | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/docs/proof/Compiler.html b/docs/proof/Compiler.html index fa9c633..173d581 100644 --- a/docs/proof/Compiler.html +++ b/docs/proof/Compiler.html @@ -13,7 +13,15 @@ <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/IBM-type/0.5.4/css/ibm-type.min.css" integrity="sha512-sky5cf9Ts6FY1kstGOBHSybfKqdHR41M0Ldb0BjNiv3ifltoQIsg0zIaQ+wwdwgQ0w9vKFW7Js50lxH9vqNSSw==" crossorigin="anonymous" /> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/firacode/5.2.0/fira_code.min.css" integrity="sha512-MbysAYimH1hH2xYzkkMHB6MqxBqfP0megxsCLknbYqHVwXTCg9IqHbk+ZP/vnhO8UEW6PaXAkKe2vQ+SWACxxA==" crossorigin="anonymous" /> <link rel="stylesheet" href="../css/org.css" type="text/css" media="screen" /></head> -<body><header id="header" class="status"><div id="left-bar"><header><div class="logo"><a href="/vericert">Vericert</a></div><nav id="navbar"><span><a href="/vericert/documentation.html">Documentation</a></span><span><a href="/vericert/proof/toc.html">Proof</a></span></nav><p>Vericert is the first formally verified high-level synthesis tool.</p></<div id="toc"></div></div></header> +<body> + <div id="left-bar"> + <header id="header" class="status"> + <div class="logo"><a href="/vericert">Vericert</a></div> + <nav id="navbar"><span><a href="/vericert/documentation.html">Documentation</a></span> + <span><a href="/vericert/proof/toc.html">Proof</a></span></nav> + <p>Vericert is the first formally verified high-level synthesis tool.</p><div id="toc"></div> + </header> + </div> <div class="alectryon-root alectryon-floating"><div class="document" id="compiler-proof"> <h1 class="title">Compiler Proof</h1> |