Deploying to gh-pages from @ d092b2b 🚀

Philipp15b · Mar 14, 2024 · ab4a17b · ab4a17b
1 parent f0ef0ba
commit ab4a17b
Show file tree

Hide file tree

Showing 47 changed files with 4,800 additions and 16,017 deletions.
diff --git a/.buildinfo b/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 4939c89a6c3d4f61d5e2259583c19e23
+config: 01135e3bf9327aea9fbc78e3e0de01e1
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/_modules/index.html b/_modules/index.html
@@ -1,21 +1,20 @@
 <!DOCTYPE html>
 
-<html>
+<html lang="en" data-content_root="../">
   <head>
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>Overview: module code &#8212; Probably  documentation</title>
-    <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
-    <link rel="stylesheet" type="text/css" href="../_static/bootstrap-sphinx.css" />
-    <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" />
-    <link rel="stylesheet" type="text/css" href="../_static/katex-math.css" />
-    <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
-    <script src="../_static/jquery.js"></script>
-    <script src="../_static/underscore.js"></script>
-    <script src="../_static/doctools.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/contrib/auto-render.min.js"></script>
-    <script src="../_static/katex_autorenderer.js"></script>
+    <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=fa44fd50" />
+    <link rel="stylesheet" type="text/css" href="../_static/bootstrap-sphinx.css?v=0bf093e7" />
+    <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" />
+    <link rel="stylesheet" type="text/css" href="../_static/katex-math.css?v=91adb8b6" />
+    <script src="../_static/documentation_options.js?v=5929fcd5"></script>
+    <script src="../_static/doctools.js?v=888ff710"></script>
+    <script src="../_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="../_static/katex.min.js?v=48ec3933"></script>
+    <script src="../_static/auto-render.min.js?v=8b9f325c"></script>
+    <script src="../_static/katex_autorenderer.js?v=bebc588a"></script>
     <link rel="index" title="Index" href="../genindex.html" />
     <link rel="search" title="Search" href="../search.html" />
 
@@ -244,8 +243,8 @@ <h1>All modules for which code is available</h1>
 
     </p>
     <p>
-        &copy; Copyright 2022, Philipp Schröer.<br/>
-      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 4.5.0.<br/>
+        &copy; Copyright 2024, Philipp Schröer.<br/>
+      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.2.6.<br/>
     </p>
   </div>
 </footer>

diff --git a/_modules/probably/pgcl/ast/ast.html b/_modules/probably/pgcl/ast/ast.html
@@ -1,21 +1,20 @@
 <!DOCTYPE html>
 
-<html>
+<html lang="en" data-content_root="../../../../">
   <head>
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>probably.pgcl.ast.ast &#8212; Probably  documentation</title>
-    <link rel="stylesheet" type="text/css" href="../../../../_static/pygments.css" />
-    <link rel="stylesheet" type="text/css" href="../../../../_static/bootstrap-sphinx.css" />
-    <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" />
-    <link rel="stylesheet" type="text/css" href="../../../../_static/katex-math.css" />
-    <script data-url_root="../../../../" id="documentation_options" src="../../../../_static/documentation_options.js"></script>
-    <script src="../../../../_static/jquery.js"></script>
-    <script src="../../../../_static/underscore.js"></script>
-    <script src="../../../../_static/doctools.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/contrib/auto-render.min.js"></script>
-    <script src="../../../../_static/katex_autorenderer.js"></script>
+    <link rel="stylesheet" type="text/css" href="../../../../_static/pygments.css?v=fa44fd50" />
+    <link rel="stylesheet" type="text/css" href="../../../../_static/bootstrap-sphinx.css?v=0bf093e7" />
+    <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" />
+    <link rel="stylesheet" type="text/css" href="../../../../_static/katex-math.css?v=91adb8b6" />
+    <script src="../../../../_static/documentation_options.js?v=5929fcd5"></script>
+    <script src="../../../../_static/doctools.js?v=888ff710"></script>
+    <script src="../../../../_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="../../../../_static/katex.min.js?v=48ec3933"></script>
+    <script src="../../../../_static/auto-render.min.js?v=8b9f325c"></script>
+    <script src="../../../../_static/katex_autorenderer.js?v=bebc588a"></script>
     <link rel="index" title="Index" href="../../../../genindex.html" />
     <link rel="search" title="Search" href="../../../../search.html" />
 
@@ -215,9 +214,12 @@ <h1>Source code for probably.pgcl.ast.ast</h1><div class="highlight"><pre>
 <span class="n">Var</span> <span class="o">=</span> <span class="nb">str</span>
 
 
-<div class="viewcode-block" id="Node"><a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.Node">[docs]</a><span class="nd">@attr</span><span class="o">.</span><span class="n">s</span>
+<div class="viewcode-block" id="Node">
+<a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.Node">[docs]</a>
+<span class="nd">@attr</span><span class="o">.</span><span class="n">s</span>
 <span class="k">class</span> <span class="nc">Node</span><span class="p">(</span><span class="n">ABC</span><span class="p">):</span>
-    <span class="sd">&quot;&quot;&quot;Superclass for all node types in the AST.&quot;&quot;&quot;</span></div>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot;Superclass for all node types in the AST.&quot;&quot;&quot;</span></div>
+
 </pre></div>
 
     </div>
@@ -234,8 +236,8 @@ <h1>Source code for probably.pgcl.ast.ast</h1><div class="highlight"><pre>
 
     </p>
     <p>
-        &copy; Copyright 2022, Philipp Schröer.<br/>
-      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 4.5.0.<br/>
+        &copy; Copyright 2024, Philipp Schröer.<br/>
+      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.2.6.<br/>
     </p>
   </div>
 </footer>

diff --git a/_modules/probably/pgcl/ast/declarations.html b/_modules/probably/pgcl/ast/declarations.html
@@ -1,21 +1,20 @@
 <!DOCTYPE html>
 
-<html>
+<html lang="en" data-content_root="../../../../">
   <head>
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>probably.pgcl.ast.declarations &#8212; Probably  documentation</title>
-    <link rel="stylesheet" type="text/css" href="../../../../_static/pygments.css" />
-    <link rel="stylesheet" type="text/css" href="../../../../_static/bootstrap-sphinx.css" />
-    <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" />
-    <link rel="stylesheet" type="text/css" href="../../../../_static/katex-math.css" />
-    <script data-url_root="../../../../" id="documentation_options" src="../../../../_static/documentation_options.js"></script>
-    <script src="../../../../_static/jquery.js"></script>
-    <script src="../../../../_static/underscore.js"></script>
-    <script src="../../../../_static/doctools.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/contrib/auto-render.min.js"></script>
-    <script src="../../../../_static/katex_autorenderer.js"></script>
+    <link rel="stylesheet" type="text/css" href="../../../../_static/pygments.css?v=fa44fd50" />
+    <link rel="stylesheet" type="text/css" href="../../../../_static/bootstrap-sphinx.css?v=0bf093e7" />
+    <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" />
+    <link rel="stylesheet" type="text/css" href="../../../../_static/katex-math.css?v=91adb8b6" />
+    <script src="../../../../_static/documentation_options.js?v=5929fcd5"></script>
+    <script src="../../../../_static/doctools.js?v=888ff710"></script>
+    <script src="../../../../_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="../../../../_static/katex.min.js?v=48ec3933"></script>
+    <script src="../../../../_static/auto-render.min.js?v=8b9f325c"></script>
+    <script src="../../../../_static/katex_autorenderer.js?v=bebc588a"></script>
     <link rel="index" title="Index" href="../../../../genindex.html" />
     <link rel="search" title="Search" href="../../../../search.html" />
 
@@ -220,24 +219,32 @@ <h1>Source code for probably.pgcl.ast.declarations</h1><div class="highlight"><p
 <span class="kn">from</span> <span class="nn">.types</span> <span class="kn">import</span> <span class="n">BoolType</span><span class="p">,</span> <span class="n">NatType</span><span class="p">,</span> <span class="n">RealType</span><span class="p">,</span> <span class="n">Type</span>
 
 
+<div class="viewcode-block" id="DeclClass">
+<a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.DeclClass">[docs]</a>
 <span class="k">class</span> <span class="nc">DeclClass</span><span class="p">(</span><span class="n">Node</span><span class="p">):</span>
-    <span class="sd">&quot;&quot;&quot;Superclass for all declarations. See :obj:`Decl`.&quot;&quot;&quot;</span>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot;Superclass for all declarations. See :obj:`Decl`.&quot;&quot;&quot;</span>
+<div class="viewcode-block" id="DeclClass.__str__">
+<a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.DeclClass.__str__">[docs]</a>
     <span class="nd">@abstractmethod</span>
     <span class="k">def</span> <span class="fm">__str__</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="nb">str</span><span class="p">:</span>
-        <span class="sd">&quot;&quot;&quot;</span>
+<span class="w">        </span><span class="sd">&quot;&quot;&quot;</span>
 <span class="sd">        Convert this declaration to corresponding source code in pGCL.</span>
 
 <span class="sd">        .. doctest::</span>
 
 <span class="sd">            &gt;&gt;&gt; from .types import Bounds</span>
 <span class="sd">            &gt;&gt;&gt; str(VarDecl(&#39;x&#39;, NatType(Bounds(1, 10))))</span>
 <span class="sd">            &#39;nat x [1, 10];&#39;</span>
-<span class="sd">        &quot;&quot;&quot;</span>
+<span class="sd">        &quot;&quot;&quot;</span></div>
+</div>
+
 
 
-<div class="viewcode-block" id="VarDecl"><a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.VarDecl">[docs]</a><span class="nd">@attr</span><span class="o">.</span><span class="n">s</span>
+<div class="viewcode-block" id="VarDecl">
+<a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.VarDecl">[docs]</a>
+<span class="nd">@attr</span><span class="o">.</span><span class="n">s</span>
 <span class="k">class</span> <span class="nc">VarDecl</span><span class="p">(</span><span class="n">DeclClass</span><span class="p">):</span>
-    <span class="sd">&quot;&quot;&quot;A variable declaration with a name and a type.&quot;&quot;&quot;</span>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot;A variable declaration with a name and a type.&quot;&quot;&quot;</span>
     <span class="n">var</span><span class="p">:</span> <span class="n">Var</span> <span class="o">=</span> <span class="n">attr</span><span class="o">.</span><span class="n">ib</span><span class="p">()</span>
     <span class="n">typ</span><span class="p">:</span> <span class="n">Type</span> <span class="o">=</span> <span class="n">attr</span><span class="o">.</span><span class="n">ib</span><span class="p">()</span>
 
@@ -254,19 +261,25 @@ <h1>Source code for probably.pgcl.ast.declarations</h1><div class="highlight"><p
         <span class="k">raise</span> <span class="ne">ValueError</span><span class="p">(</span><span class="sa">f</span><span class="s2">&quot;invalid type: </span><span class="si">{</span><span class="bp">self</span><span class="o">.</span><span class="n">typ</span><span class="si">}</span><span class="s2">&quot;</span><span class="p">)</span></div>
 
 
-<div class="viewcode-block" id="ConstDecl"><a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.ConstDecl">[docs]</a><span class="nd">@attr</span><span class="o">.</span><span class="n">s</span>
+
+<div class="viewcode-block" id="ConstDecl">
+<a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.ConstDecl">[docs]</a>
+<span class="nd">@attr</span><span class="o">.</span><span class="n">s</span>
 <span class="k">class</span> <span class="nc">ConstDecl</span><span class="p">(</span><span class="n">DeclClass</span><span class="p">):</span>
-    <span class="sd">&quot;&quot;&quot;A constant declaration with a name and an expression.&quot;&quot;&quot;</span>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot;A constant declaration with a name and an expression.&quot;&quot;&quot;</span>
     <span class="n">var</span><span class="p">:</span> <span class="n">Var</span> <span class="o">=</span> <span class="n">attr</span><span class="o">.</span><span class="n">ib</span><span class="p">()</span>
     <span class="n">value</span><span class="p">:</span> <span class="n">Expr</span> <span class="o">=</span> <span class="n">attr</span><span class="o">.</span><span class="n">ib</span><span class="p">()</span>
 
     <span class="k">def</span> <span class="fm">__str__</span><span class="p">(</span><span class="bp">self</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="nb">str</span><span class="p">:</span>
         <span class="k">return</span> <span class="sa">f</span><span class="s2">&quot;const </span><span class="si">{</span><span class="bp">self</span><span class="o">.</span><span class="n">var</span><span class="si">}</span><span class="s2"> := </span><span class="si">{</span><span class="bp">self</span><span class="o">.</span><span class="n">value</span><span class="si">}</span><span class="s2">;&quot;</span></div>
 
 
-<div class="viewcode-block" id="ParameterDecl"><a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.ParameterDecl">[docs]</a><span class="nd">@attr</span><span class="o">.</span><span class="n">s</span>
+
+<div class="viewcode-block" id="ParameterDecl">
+<a class="viewcode-back" href="../../../../pgcl.html#probably.pgcl.ast.ParameterDecl">[docs]</a>
+<span class="nd">@attr</span><span class="o">.</span><span class="n">s</span>
 <span class="k">class</span> <span class="nc">ParameterDecl</span><span class="p">(</span><span class="n">DeclClass</span><span class="p">):</span>
-    <span class="sd">&quot;&quot;&quot; A parameter declaration with a name and a type.&quot;&quot;&quot;</span>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot; A parameter declaration with a name and a type.&quot;&quot;&quot;</span>
     <span class="n">var</span><span class="p">:</span> <span class="n">Var</span> <span class="o">=</span> <span class="n">attr</span><span class="o">.</span><span class="n">ib</span><span class="p">()</span>
     <span class="n">typ</span><span class="p">:</span> <span class="n">Type</span> <span class="o">=</span> <span class="n">attr</span><span class="o">.</span><span class="n">ib</span><span class="p">()</span>
 
@@ -283,6 +296,7 @@ <h1>Source code for probably.pgcl.ast.declarations</h1><div class="highlight"><p
         <span class="k">raise</span> <span class="ne">ValueError</span><span class="p">(</span><span class="sa">f</span><span class="s2">&quot;invalid type: </span><span class="si">{</span><span class="bp">self</span><span class="o">.</span><span class="n">typ</span><span class="si">}</span><span class="s2">&quot;</span><span class="p">)</span></div>
 
 
+
 <span class="n">Decl</span> <span class="o">=</span> <span class="n">Union</span><span class="p">[</span><span class="n">VarDecl</span><span class="p">,</span> <span class="n">ConstDecl</span><span class="p">,</span> <span class="n">ParameterDecl</span><span class="p">]</span>
 <span class="sd">&quot;&quot;&quot;Union type for all declaration objects. See :class:`DeclClass` for use with isinstance.&quot;&quot;&quot;</span>
 </pre></div>
@@ -301,8 +315,8 @@ <h1>Source code for probably.pgcl.ast.declarations</h1><div class="highlight"><p
 
     </p>
     <p>
-        &copy; Copyright 2022, Philipp Schröer.<br/>
-      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 4.5.0.<br/>
+        &copy; Copyright 2024, Philipp Schröer.<br/>
+      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.2.6.<br/>
     </p>
   </div>
 </footer>