QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Deployed 10fc88a to master with MkDocs 1.2.3 and mike 1.0.1

Browse Source
This commit is contained in:
GitHub Action 2021-10-21 12:17:00 +00:00
parent 525048a801
commit 3b306ff8e1
4 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
master/search/search_index.json
View File

File diff suppressed because one or more lines are too long

18
master/sitemap.xml
View File

@ -2,47 +2,47 @@
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
<url> <url>
<loc>None</loc> <loc>None</loc>
<lastmod>2021-10-20</lastmod> <lastmod>2021-10-21</lastmod>
<changefreq>daily</changefreq> <changefreq>daily</changefreq>
</url> </url>
</urlset> </urlset>

BIN
master/sitemap.xml.gz
View File

Binary file not shown.

4
master/sophia_stdlib/index.html
View File

@ -1066,8 +1066,8 @@ The call fails if the oracle could expire before an answer.</p>
<div class="highlight"><pre><span></span><code>Oracle.get_answer(o : oracle(&#39;a, &#39;b), q : oracle_query(&#39;a, &#39;b)) : option(&#39;b) <div class="highlight"><pre><span></span><code>Oracle.get_answer(o : oracle(&#39;a, &#39;b), q : oracle_query(&#39;a, &#39;b)) : option(&#39;b)
</code></pre></div> </code></pre></div>
<p>Checks what is the optional query answer</p> <p>Checks what is the optional query answer</p>
<h4 id="expire">expire</h4> <h4 id="expiry">expiry</h4>
<div class="highlight"><pre><span></span><code>Oracle.expire(o : oracle(&#39;a, &#39;b)) : int <div class="highlight"><pre><span></span><code>Oracle.expiry(o : oracle(&#39;a, &#39;b)) : int
</code></pre></div> </code></pre></div>
<p>Ask the oracle when it expires. The result is the block height at which it will happen.</p> <p>Ask the oracle when it expires. The result is the block height at which it will happen.</p>
<h4 id="check">check</h4> <h4 id="check">check</h4>