Deploying to gh-pages from @ 9b2df0c 🚀

opencompl · Oct 2, 2023 · 44c53d9 · 44c53d9
1 parent d0c2051
commit 44c53d9
Show file tree

Hide file tree

Showing 15 changed files with 203 additions and 197 deletions.
diff --git a/SSA.html b/SSA.html
@@ -1,4 +1,4 @@
 <html lang="en"><head><meta charset="UTF-8"></meta><meta name="viewport" content="width=device-width, initial-scale=1"></meta><link rel="stylesheet" href="./style.css"></link><link rel="stylesheet" href="./src/pygments.css"></link><link rel="shortcut icon" href="./favicon.ico"></link><link rel="prefetch" href=".//declarations/declaration-data.bmp" as="image"></link><title>SSA</title><script defer="true" src="./mathjax-config.js"></script><script defer="true" src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script><script defer="true" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script><script>const SITE_ROOT="./";</script><script>const MODULE_NAME="SSA";</script><script type="module" src="./search.js"></script><script type="module" src="./how-about.js"></script><script type="module" src="./instances.js"></script><script type="module" src="./importedBy.js"></script></head><body><input id="nav_toggle" type="checkbox"></input><header><h1><label for="nav_toggle"></label>Documentation</h1><p class="header_filename break_within"><span class="name">SSA</span></p><form action="https://google.com/search" method="get" id="search_form"><input type="hidden" name="sitesearch" value="https://leanprover-community.github.io/mathlib4_docs"></input><input type="text" name="q" autocomplete="off"></input>&#32;
-            <button id="search_button" onclick="javascript: form.action='./search.html';">Search</button><button>Google site search</button></form></header><nav class="internal_nav"><h3><a class="break_within" href="#top"><span class="name">SSA</span></a></h3><p class="gh_nav_link"><a href="https://github.com/opencompl/ssa/blob/a1f53f4bf29004c8a70f5698dd15b508b4975324/SSA.lean">source</a></p><div class="imports"><details><summary>Imports</summary><ul><li><a href="./Init.html">Init</a></li><li><a href="./SSA/Core/Framework.html">SSA.Core.Framework</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-SSA" class="imported-by-list"></ul></details></div></nav><main>
+            <button id="search_button" onclick="javascript: form.action='./search.html';">Search</button><button>Google site search</button></form></header><nav class="internal_nav"><h3><a class="break_within" href="#top"><span class="name">SSA</span></a></h3><p class="gh_nav_link"><a href="https://github.com/opencompl/ssa/blob/9b2df0c6791178f130cd27191840e8ff6e6f5713/SSA.lean">source</a></p><div class="imports"><details><summary>Imports</summary><ul><li><a href="./Init.html">Init</a></li><li><a href="./SSA/Core/Framework.html">SSA.Core.Framework</a></li><li><a href="./SSA/Projects/InstCombine/Alive.html">SSA.Projects.InstCombine.Alive</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-SSA" class="imported-by-list"></ul></details></div></nav><main>
 </main>
 <nav class="nav"><iframe src="./navbar.html" class="navframe" frameBorder="0"></iframe></nav></body></html>
diff --git a/SSA.html.trace b/SSA.html.trace
@@ -1 +1 @@
-12773021434649406590
+14068578042150150000
diff --git a/SSA/Core/ErasedContext.html b/SSA/Core/ErasedContext.html
diff --git a/SSA/Core/Framework.html b/SSA/Core/Framework.html
diff --git a/SSA/Core/HVector.html b/SSA/Core/HVector.html
diff --git a/SSA/Projects/InstCombine/Alive.html b/SSA/Projects/InstCombine/Alive.html
@@ -0,0 +1,4 @@
+<html lang="en"><head><meta charset="UTF-8"></meta><meta name="viewport" content="width=device-width, initial-scale=1"></meta><link rel="stylesheet" href="../../.././style.css"></link><link rel="stylesheet" href="../../.././src/pygments.css"></link><link rel="shortcut icon" href="../../.././favicon.ico"></link><link rel="prefetch" href="../../.././/declarations/declaration-data.bmp" as="image"></link><title>SSA.Projects.InstCombine.Alive</title><script defer="true" src="../../.././mathjax-config.js"></script><script defer="true" src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script><script defer="true" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script><script>const SITE_ROOT="../../.././";</script><script>const MODULE_NAME="SSA.Projects.InstCombine.Alive";</script><script type="module" src="../../.././search.js"></script><script type="module" src="../../.././how-about.js"></script><script type="module" src="../../.././instances.js"></script><script type="module" src="../../.././importedBy.js"></script></head><body><input id="nav_toggle" type="checkbox"></input><header><h1><label for="nav_toggle"></label>Documentation</h1><p class="header_filename break_within"><span class="name">SSA</span>.<span class="name">Projects</span>.<span class="name">InstCombine</span>.<span class="name">Alive</span></p><form action="https://google.com/search" method="get" id="search_form"><input type="hidden" name="sitesearch" value="https://leanprover-community.github.io/mathlib4_docs"></input><input type="text" name="q" autocomplete="off"></input>&#32;
+            <button id="search_button" onclick="javascript: form.action='../../.././search.html';">Search</button><button>Google site search</button></form></header><nav class="internal_nav"><h3><a class="break_within" href="#top"><span class="name">SSA</span>.<span class="name">Projects</span>.<span class="name">InstCombine</span>.<span class="name">Alive</span></a></h3><p class="gh_nav_link"><a href="https://github.com/opencompl/ssa/blob/9b2df0c6791178f130cd27191840e8ff6e6f5713/SSA/Projects/InstCombine/Alive.lean">source</a></p><div class="imports"><details><summary>Imports</summary><ul><li><a href="../../.././Init.html">Init</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-SSA.Projects.InstCombine.Alive" class="imported-by-list"></ul></details></div></nav><main>
+</main>
+<nav class="nav"><iframe src="../../.././navbar.html" class="navframe" frameBorder="0"></iframe></nav></body></html>
diff --git a/SSA/Projects/InstCombine/Alive.html.trace b/SSA/Projects/InstCombine/Alive.html.trace
@@ -0,0 +1 @@
+3949468310341968562
diff --git a/declarations/declaration-data-SSA.Core.ErasedContext.bmp b/declarations/declaration-data-SSA.Core.ErasedContext.bmp
diff --git a/declarations/declaration-data-SSA.Core.Framework.bmp b/declarations/declaration-data-SSA.Core.Framework.bmp
diff --git a/declarations/declaration-data-SSA.Core.HVector.bmp b/declarations/declaration-data-SSA.Core.HVector.bmp
diff --git a/declarations/declaration-data-SSA.Projects.InstCombine.Alive.bmp b/declarations/declaration-data-SSA.Projects.InstCombine.Alive.bmp
@@ -0,0 +1 @@
+{"name":"SSA.Projects.InstCombine.Alive","instances":[],"imports":["Init"],"declarations":[]}
diff --git a/declarations/declaration-data-SSA.bmp b/declarations/declaration-data-SSA.bmp
@@ -1 +1 @@
-{"name":"SSA","instances":[],"imports":["Init","SSA.Core.Framework"],"declarations":[]}
+{"name":"SSA","instances":[],"imports":["Init","SSA.Core.Framework","SSA.Projects.InstCombine.Alive"],"declarations":[]}
diff --git a/declarations/declaration-data.bmp b/declarations/declaration-data.bmp
diff --git a/declarations/declaration-data.bmp.trace b/declarations/declaration-data.bmp.trace
@@ -1 +1 @@
-9441662426766693695
+16512692756282923016
diff --git a/navbar.html b/navbar.html