Deploying to gh-pages from @ a1f53f4 🚀

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

Hide file tree

Showing 16 changed files with 2,314 additions and 7 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/6a9ac1df78292c89062cdc47925555fae1292f5e/SSA.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" 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/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>
 </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 @@
-3949468310341968562
+12773021434649406590
diff --git a/SSA/Core/ErasedContext.html b/SSA/Core/ErasedContext.html
diff --git a/SSA/Core/ErasedContext.html.trace b/SSA/Core/ErasedContext.html.trace
@@ -0,0 +1 @@
+5170418300114671033
diff --git a/SSA/Core/Framework.html b/SSA/Core/Framework.html
diff --git a/SSA/Core/Framework.html.trace b/SSA/Core/Framework.html.trace
@@ -0,0 +1 @@
+4063961012393138357
diff --git a/SSA/Core/HVector.html b/SSA/Core/HVector.html
diff --git a/SSA/Core/HVector.html.trace b/SSA/Core/HVector.html.trace
@@ -0,0 +1 @@
+15562958601019627486
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.bmp b/declarations/declaration-data-SSA.bmp
@@ -1 +1 @@
-{"name":"SSA","instances":[],"imports":["Init"],"declarations":[]}
+{"name":"SSA","instances":[],"imports":["Init","SSA.Core.Framework"],"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 @@
-12742969584276136337
+9441662426766693695
diff --git a/declarations/header-data.bmp b/declarations/header-data.bmp
diff --git a/navbar.html b/navbar.html