Skip to content

Commit

Permalink
Deploying to gh-pages from @ 2fc5440 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
tobiasgrosser committed Sep 11, 2023
1 parent 9d09d1a commit ce16483
Show file tree
Hide file tree
Showing 43 changed files with 687 additions and 687 deletions.
2 changes: 1 addition & 1 deletion SSA.html
Original file line number Diff line number Diff line change
@@ -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/bollu/ssa/blob/a5732702dae67a56acf69fad7c18fbe6eb207b0f/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/EDSLNested.html">SSA.Core.EDSLNested</a></li><li><a href="./SSA/Core/Framework.html">SSA.Core.Framework</a></li><li><a href="./SSA/Core/WellTypedFramework.html">SSA.Core.WellTypedFramework</a></li><li><a href="./SSA/Projects/InstCombine/Alive.html">SSA.Projects.InstCombine.Alive</a></li><li><a href="./SSA/Projects/InstCombine/PeepholeRewrites.html">SSA.Projects.InstCombine.PeepholeRewrites</a></li><li><a href="./SSA/Projects/Tensor1D/Tensor1D.html">SSA.Projects.Tensor1D.Tensor1D</a></li><li><a href="./SSA/Projects/Tensor2D/Tensor2D.html">SSA.Projects.Tensor2D.Tensor2D</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/2fc5440694ed3d454fc22c838f2f1bff36b0b73a/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/EDSLNested.html">SSA.Core.EDSLNested</a></li><li><a href="./SSA/Core/Framework.html">SSA.Core.Framework</a></li><li><a href="./SSA/Core/WellTypedFramework.html">SSA.Core.WellTypedFramework</a></li><li><a href="./SSA/Projects/InstCombine/Alive.html">SSA.Projects.InstCombine.Alive</a></li><li><a href="./SSA/Projects/InstCombine/PeepholeRewrites.html">SSA.Projects.InstCombine.PeepholeRewrites</a></li><li><a href="./SSA/Projects/Tensor1D/Tensor1D.html">SSA.Projects.Tensor1D.Tensor1D</a></li><li><a href="./SSA/Projects/Tensor2D/Tensor2D.html">SSA.Projects.Tensor2D.Tensor2D</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>
2 changes: 1 addition & 1 deletion SSA.html.trace
Original file line number Diff line number Diff line change
@@ -1 +1 @@
8681627766352400975
1887314070138771924
108 changes: 54 additions & 54 deletions SSA/Core/EDSLNested.html

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion SSA/Core/EDSLNested.html.trace
Original file line number Diff line number Diff line change
@@ -1 +1 @@
17151746400259071435
15245030888673966870
36 changes: 18 additions & 18 deletions SSA/Core/Framework.html

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion SSA/Core/Framework.html.trace
Original file line number Diff line number Diff line change
@@ -1 +1 @@
13292124085461172575
7474679569157405998
4 changes: 2 additions & 2 deletions SSA/Core/Tactic.html
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<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.Core.Tactic</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.Core.Tactic";</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">Core</span>.<span class="name">Tactic</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">Core</span>.<span class="name">Tactic</span></a></h3><p class="gh_nav_link"><a href="https://github.com/bollu/ssa/blob/a5732702dae67a56acf69fad7c18fbe6eb207b0f/SSA/Core/Tactic.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/WellTypedFramework.html">SSA.Core.WellTypedFramework</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-SSA.Core.Tactic" class="imported-by-list"></ul></details></div><div class="nav_link"><a class="break_within" href="#tacticSimp_mlir"><span class="name">tacticSimp_mlir</span></a></div></nav><main>
<div class="decl" id="tacticSimp_mlir"><div class="def"><div class="gh_link"><a href="https://github.com/bollu/ssa/blob/a5732702dae67a56acf69fad7c18fbe6eb207b0f/SSA/Core/Tactic.lean#L5-L13">source</a></div><div class="decl_header"><span class="decl_kind">def</span>
<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">Core</span>.<span class="name">Tactic</span></a></h3><p class="gh_nav_link"><a href="https://github.com/opencompl/ssa/blob/2fc5440694ed3d454fc22c838f2f1bff36b0b73a/SSA/Core/Tactic.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/WellTypedFramework.html">SSA.Core.WellTypedFramework</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-SSA.Core.Tactic" class="imported-by-list"></ul></details></div><div class="nav_link"><a class="break_within" href="#tacticSimp_mlir"><span class="name">tacticSimp_mlir</span></a></div></nav><main>
<div class="decl" id="tacticSimp_mlir"><div class="def"><div class="gh_link"><a href="https://github.com/opencompl/ssa/blob/2fc5440694ed3d454fc22c838f2f1bff36b0b73a/SSA/Core/Tactic.lean#L5-L13">source</a></div><div class="decl_header"><span class="decl_kind">def</span>
<span class="decl_name"><a class="break_within" href="../.././SSA/Core/Tactic.html#tacticSimp_mlir"><span class="name">tacticSimp_mlir</span></a></span><span class="decl_args"> :</span><div class="decl_type"><a href="../.././Init/Prelude.html#Lean.ParserDescr">Lean.ParserDescr</a></div></div><details><summary>Equations</summary><ul class="equations"><li class="equation"><span class="fn"><a href="../.././SSA/Core/Tactic.html#tacticSimp_mlir">tacticSimp_mlir</a> <a href="../.././Init/Prelude.html#Eq">=</a> <span class="fn"><a href="../.././Init/Prelude.html#Lean.ParserDescr.node">Lean.ParserDescr.node</a> <span class="fn">`tacticSimp_mlir</span> <span class="fn">1024</span> (<span class="fn"><a href="../.././Init/Prelude.html#Lean.ParserDescr.nonReservedSymbol">Lean.ParserDescr.nonReservedSymbol</a> <span class="fn">&quotsimp_mlir&quot</span> <a href="../.././Init/Prelude.html#Bool.false">false</a></span>)</span></span></li></ul></details><details class="instances"><summary>Instances For</summary><ul id="instances-for-list-tacticSimp_mlir" class="instances-for-list"></ul></details></div></div></main>
<nav class="nav"><iframe src="../.././navbar.html" class="navframe" frameBorder="0"></iframe></nav></body></html>
2 changes: 1 addition & 1 deletion SSA/Core/Tactic.html.trace
Original file line number Diff line number Diff line change
@@ -1 +1 @@
17151746400259071435
15245030888673966870
Loading

0 comments on commit ce16483

Please sign in to comment.