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

Deployed 33229c3 to master with MkDocs 1.4.2 and mike 1.1.2

Browse Source
This commit is contained in:
GitHub Action 2023-09-05 08:05:14 +00:00
parent 52643fcfeb
commit 8166b97d85
4 changed files with 136 additions and 79 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

195
master/CHANGELOG/index.html
View File

@ -401,6 +401,33 @@
</ul>
</nav>
</li>
<li class="md-nav__item">
<a href="#740" class="md-nav__link">
7.4.0
</a>
<nav class="md-nav" aria-label="7.4.0">
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#changed_1" class="md-nav__link">
Changed
</a>
</li>
<li class="md-nav__item">
<a href="#fixed_1" class="md-nav__link">
Fixed
</a>
</li>
</ul>
</nav>
</li>
<li class="md-nav__item">
@ -412,7 +439,7 @@
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#fixed_1" class="md-nav__link">
<a href="#fixed_2" class="md-nav__link">
Fixed
</a>
@ -432,7 +459,7 @@
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#fixed_2" class="md-nav__link">
<a href="#fixed_3" class="md-nav__link">
Fixed
</a>
@ -466,7 +493,7 @@
</li>
<li class="md-nav__item">
<a href="#fixed_3" class="md-nav__link">
<a href="#fixed_4" class="md-nav__link">
Fixed
</a>
@ -493,14 +520,14 @@
</li>
<li class="md-nav__item">
<a href="#changed_1" class="md-nav__link">
<a href="#changed_2" class="md-nav__link">
Changed
</a>
</li>
<li class="md-nav__item">
<a href="#fixed_4" class="md-nav__link">
<a href="#fixed_5" class="md-nav__link">
Fixed
</a>
@ -527,14 +554,14 @@
</li>
<li class="md-nav__item">
<a href="#changed_2" class="md-nav__link">
<a href="#changed_3" class="md-nav__link">
Changed
</a>
</li>
<li class="md-nav__item">
<a href="#fixed_5" class="md-nav__link">
<a href="#fixed_6" class="md-nav__link">
Fixed
</a>
@ -561,7 +588,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_3" class="md-nav__link">
<a href="#changed_4" class="md-nav__link">
Changed
</a>
@ -595,7 +622,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_4" class="md-nav__link">
<a href="#changed_5" class="md-nav__link">
Changed
</a>
@ -615,7 +642,7 @@
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#changed_5" class="md-nav__link">
<a href="#changed_6" class="md-nav__link">
Changed
</a>
@ -635,7 +662,7 @@
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#changed_6" class="md-nav__link">
<a href="#changed_7" class="md-nav__link">
Changed
</a>
@ -662,7 +689,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_7" class="md-nav__link">
<a href="#changed_8" class="md-nav__link">
Changed
</a>
@ -696,7 +723,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_8" class="md-nav__link">
<a href="#changed_9" class="md-nav__link">
Changed
</a>
@ -730,7 +757,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_9" class="md-nav__link">
<a href="#changed_10" class="md-nav__link">
Changed
</a>
@ -764,7 +791,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_10" class="md-nav__link">
<a href="#changed_11" class="md-nav__link">
Changed
</a>
@ -798,7 +825,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_11" class="md-nav__link">
<a href="#changed_12" class="md-nav__link">
Changed
</a>
@ -832,7 +859,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_12" class="md-nav__link">
<a href="#changed_13" class="md-nav__link">
Changed
</a>
@ -866,7 +893,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_13" class="md-nav__link">
<a href="#changed_14" class="md-nav__link">
Changed
</a>
@ -900,7 +927,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_14" class="md-nav__link">
<a href="#changed_15" class="md-nav__link">
Changed
</a>
@ -934,7 +961,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_15" class="md-nav__link">
<a href="#changed_16" class="md-nav__link">
Changed
</a>
@ -968,7 +995,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_16" class="md-nav__link">
<a href="#changed_17" class="md-nav__link">
Changed
</a>
@ -995,7 +1022,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_17" class="md-nav__link">
<a href="#changed_18" class="md-nav__link">
Changed
</a>
@ -1079,6 +1106,33 @@
</ul>
</nav>
</li>
<li class="md-nav__item">
<a href="#740" class="md-nav__link">
7.4.0
</a>
<nav class="md-nav" aria-label="7.4.0">
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#changed_1" class="md-nav__link">
Changed
</a>
</li>
<li class="md-nav__item">
<a href="#fixed_1" class="md-nav__link">
Fixed
</a>
</li>
</ul>
</nav>
</li>
<li class="md-nav__item">
@ -1090,7 +1144,7 @@
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#fixed_1" class="md-nav__link">
<a href="#fixed_2" class="md-nav__link">
Fixed
</a>
@ -1110,7 +1164,7 @@
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#fixed_2" class="md-nav__link">
<a href="#fixed_3" class="md-nav__link">
Fixed
</a>
@ -1144,7 +1198,7 @@
</li>
<li class="md-nav__item">
<a href="#fixed_3" class="md-nav__link">
<a href="#fixed_4" class="md-nav__link">
Fixed
</a>
@ -1171,14 +1225,14 @@
</li>
<li class="md-nav__item">
<a href="#changed_1" class="md-nav__link">
<a href="#changed_2" class="md-nav__link">
Changed
</a>
</li>
<li class="md-nav__item">
<a href="#fixed_4" class="md-nav__link">
<a href="#fixed_5" class="md-nav__link">
Fixed
</a>
@ -1205,14 +1259,14 @@
</li>
<li class="md-nav__item">
<a href="#changed_2" class="md-nav__link">
<a href="#changed_3" class="md-nav__link">
Changed
</a>
</li>
<li class="md-nav__item">
<a href="#fixed_5" class="md-nav__link">
<a href="#fixed_6" class="md-nav__link">
Fixed
</a>
@ -1239,7 +1293,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_3" class="md-nav__link">
<a href="#changed_4" class="md-nav__link">
Changed
</a>
@ -1273,7 +1327,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_4" class="md-nav__link">
<a href="#changed_5" class="md-nav__link">
Changed
</a>
@ -1293,7 +1347,7 @@
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#changed_5" class="md-nav__link">
<a href="#changed_6" class="md-nav__link">
Changed
</a>
@ -1313,7 +1367,7 @@
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#changed_6" class="md-nav__link">
<a href="#changed_7" class="md-nav__link">
Changed
</a>
@ -1340,7 +1394,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_7" class="md-nav__link">
<a href="#changed_8" class="md-nav__link">
Changed
</a>
@ -1374,7 +1428,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_8" class="md-nav__link">
<a href="#changed_9" class="md-nav__link">
Changed
</a>
@ -1408,7 +1462,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_9" class="md-nav__link">
<a href="#changed_10" class="md-nav__link">
Changed
</a>
@ -1442,7 +1496,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_10" class="md-nav__link">
<a href="#changed_11" class="md-nav__link">
Changed
</a>
@ -1476,7 +1530,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_11" class="md-nav__link">
<a href="#changed_12" class="md-nav__link">
Changed
</a>
@ -1510,7 +1564,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_12" class="md-nav__link">
<a href="#changed_13" class="md-nav__link">
Changed
</a>
@ -1544,7 +1598,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_13" class="md-nav__link">
<a href="#changed_14" class="md-nav__link">
Changed
</a>
@ -1578,7 +1632,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_14" class="md-nav__link">
<a href="#changed_15" class="md-nav__link">
Changed
</a>
@ -1612,7 +1666,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_15" class="md-nav__link">
<a href="#changed_16" class="md-nav__link">
Changed
</a>
@ -1646,7 +1700,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_16" class="md-nav__link">
<a href="#changed_17" class="md-nav__link">
Changed
</a>
@ -1673,7 +1727,7 @@
</li>
<li class="md-nav__item">
<a href="#changed_17" class="md-nav__link">
<a href="#changed_18" class="md-nav__link">
Changed
</a>
@ -1704,26 +1758,29 @@
<p>All notable changes to this project will be documented in this file.</p>
<p>The format is based on <a href="https://keepachangelog.com/en/1.0.0/">Keep a Changelog</a>,
and this project adheres to <a href="https://semver.org/spec/v2.0.0.html">Semantic Versioning</a>.</p>
<h2 id="unreleased"><a href="https://github.com/aeternity/aesophia/compare/v7.3.0...HEAD">Unreleased</a></h2>
<h2 id="unreleased"><a href="https://github.com/aeternity/aesophia/compare/v7.4.0...HEAD">Unreleased</a></h2>
<h3 id="added">Added</h3>
<h3 id="changed">Changed</h3>
<h3 id="removed">Removed</h3>
<h3 id="fixed">Fixed</h3>
<h2 id="740"><a href="https://github.com/aeternity/aesophia/compare/v7.3.0...v7.4.0">7.4.0</a></h2>
<h3 id="changed_1">Changed</h3>
<ul>
<li>Names of lifted lambdas now consist of parent function's name and their
position in the source code.</li>
</ul>
<h3 id="removed">Removed</h3>
<h3 id="fixed">Fixed</h3>
<h3 id="fixed_1">Fixed</h3>
<ul>
<li>Lifted lambdas get their names assigned deterministically.</li>
</ul>
<h2 id="730"><a href="https://github.com/aeternity/aesophia/compare/v7.2.1...v7.3.0">7.3.0</a></h2>
<h3 id="fixed_1">Fixed</h3>
<h3 id="fixed_2">Fixed</h3>
<ul>
<li>Fixed a bug with polymorphism that allowed functions with the same name but different type to be considered as implementations for their corresponding interface function.</li>
<li>Fixed a bug in the byte code optimization that incorrectly reordered dependent instructions.</li>
</ul>
<h2 id="721"><a href="https://github.com/aeternity/aesophia/compare/v7.2.0...v7.2.1">7.2.1</a></h2>
<h3 id="fixed_2">Fixed</h3>
<h3 id="fixed_3">Fixed</h3>
<ul>
<li>Fixed bugs with the newly added debugging symbols</li>
</ul>
@ -1742,7 +1799,7 @@ contract C =
<ul>
<li>Remove the mapping from variables to FATE registers from the compilation output.</li>
</ul>
<h3 id="fixed_3">Fixed</h3>
<h3 id="fixed_4">Fixed</h3>
<ul>
<li>Warning about unused include when there is no include.</li>
</ul>
@ -1758,14 +1815,14 @@ contract C =
<li>Return a mapping from variables to FATE registers in the compilation output.</li>
<li>Hole expression.</li>
</ul>
<h3 id="changed_1">Changed</h3>
<h3 id="changed_2">Changed</h3>
<ul>
<li>Type definitions serialised to ACI as <code>typedefs</code> field instead of <code>type_defs</code> to increase compatibility.</li>
<li>Check contracts and entrypoints modifiers when implementing interfaces.</li>
<li>Contracts can no longer be used as namespaces.</li>
<li>Do not show unused stateful warning for functions that call other contracts with a non-zero value argument.</li>
</ul>
<h3 id="fixed_4">Fixed</h3>
<h3 id="fixed_5">Fixed</h3>
<ul>
<li>Typechecker crashes if Chain.create or Chain.clone are used without arguments.</li>
</ul>
@ -1774,11 +1831,11 @@ contract C =
<ul>
<li>Add CONTRIBUTING.md file.</li>
</ul>
<h3 id="changed_2">Changed</h3>
<h3 id="changed_3">Changed</h3>
<ul>
<li>Update Sophia syntax docs to include missing information about existing syntax.</li>
</ul>
<h3 id="fixed_5">Fixed</h3>
<h3 id="fixed_6">Fixed</h3>
<ul>
<li><a href="https://github.com/aeternity/aesophia/issues/404">404</a> Contract polymorphism crashes on non-obvious child contract typing.</li>
</ul>
@ -1796,7 +1853,7 @@ function logical_and(x, y) = (&amp;&amp;)(x, y)
</code></pre></div></li>
<li>Contract interfaces polymorphism</li>
</ul>
<h3 id="changed_3">Changed</h3>
<h3 id="changed_4">Changed</h3>
<ul>
<li>Error messages have been restructured (less newlines) to provide more unified errors. Also <code>pp_oneline/1</code> has been added.</li>
<li>Ban empty record definitions (e.g. <code>record r = {}</code> would give an error).</li>
@ -1825,19 +1882,19 @@ function logical_and(x, y) = (&amp;&amp;)(x, y)
f(_) = 2
</code></pre></div></li>
</ul>
<h3 id="changed_4">Changed</h3>
<h3 id="changed_5">Changed</h3>
<ul>
<li>Fixed the ACI renderer, it shouldn't drop the <code>stateful</code> modifier</li>
</ul>
<h2 id="602-2021-07-05"><a href="https://github.com/aeternity/aesophia/compare/v6.0.1...v6.0.2">6.0.2</a> 2021-07-05</h2>
<h3 id="changed_5">Changed</h3>
<h3 id="changed_6">Changed</h3>
<ul>
<li><code>List.from_to_step</code> now forbids non-positive step (this change does
<em>not</em> alter the behavior of the previously deployed contracts)</li>
<li>Fixed leaking state between contracts</li>
</ul>
<h2 id="601-2021-06-24"><a href="https://github.com/aeternity/aesophia/compare/v6.0.0...v6.0.1">6.0.1</a> 2021-06-24</h2>
<h3 id="changed_6">Changed</h3>
<h3 id="changed_7">Changed</h3>
<ul>
<li>Fixed a bug in calldata encoding for contracts containing multiple contracts</li>
<li>Fixed a missing <code>include</code> in the <code>Frac</code> standard library</li>
@ -1853,7 +1910,7 @@ function logical_and(x, y) = (&amp;&amp;)(x, y)
<li><code>void</code> type that represents an empty type</li>
<li><code>Call.fee</code> builtin</li>
</ul>
<h3 id="changed_7">Changed</h3>
<h3 id="changed_8">Changed</h3>
<ul>
<li>Contract interfaces must be now invocated by <code>contract interface</code> keywords</li>
<li><code>main</code> keyword to indicate the main contract in case there are child contracts around</li>
@ -1913,7 +1970,7 @@ contract C =
</code></pre></div>
- A debug mode is a added to the compiler. Right now its only use is to
turn off hermetization.</p>
<h3 id="changed_8">Changed</h3>
<h3 id="changed_9">Changed</h3>
<ul>
<li>The function <code>Chain.block_hash(height)</code> is now (in FATEv2) defined for
the current height - this used to be an error.</li>
@ -1941,7 +1998,7 @@ contract C =
<li>There is a function <code>run_parser</code> that be used to evaluate any parsing rule</li>
<li>Exported parsers: <code>body</code>, <code>type</code> and <code>decl</code></li>
</ul>
<h3 id="changed_9">Changed</h3>
<h3 id="changed_10">Changed</h3>
<ul>
<li>Performance improvements in the standard library</li>
<li>Fixed ACI encoder to handle <code>-</code> unary operator</li>
@ -1975,7 +2032,7 @@ contract C =
x
</code></pre></div></li>
</ul>
<h3 id="changed_10">Changed</h3>
<h3 id="changed_11">Changed</h3>
<ul>
<li>FATE code generator improvements.</li>
<li>Bug fix: Handle qualified constructors in patterns.</li>
@ -1987,7 +2044,7 @@ contract C =
<ul>
<li>Support encoding and decoding bit fields in call arguments and results.</li>
</ul>
<h3 id="changed_11">Changed</h3>
<h3 id="changed_12">Changed</h3>
<ul>
<li>Various improvements to FATE code generator.</li>
</ul>
@ -2019,7 +2076,7 @@ contract C =
that shall be able to receive funds should be marked as payable. <code>Address.is_payable(a)</code>
can be used to check if an (contract) address is payable or not.</li>
</ul>
<h3 id="changed_12">Changed</h3>
<h3 id="changed_13">Changed</h3>
<ul>
<li>Nice type error if contract function is called as from a namespace.</li>
<li>Fail on function definitions in contracts other than the main contract.</li>
@ -2061,7 +2118,7 @@ Bytes.to_int : bytes(_) =&gt; int
for converting a byte array to a hex string and interpreting it as a
big-endian encoded integer respectively.</li>
</ul>
<h3 id="changed_13">Changed</h3>
<h3 id="changed_14">Changed</h3>
<ul>
<li>Public contract functions must now be declared as <em>entrypoints</em>:
<div class="highlight"><pre><span></span><code>contract Example =
@ -2082,7 +2139,7 @@ Bytes.to_int : bytes(_) =&gt; int
<h3 id="removed_9">Removed</h3>
<h2 id="310-2019-06-03"><a href="https://github.com/aeternity/aesophia/compare/v3.0.0...v3.1.0">3.1.0</a> - 2019-06-03</h2>
<h3 id="added_13">Added</h3>
<h3 id="changed_14">Changed</h3>
<h3 id="changed_15">Changed</h3>
<ul>
<li>Keyword <code>indexed</code> is now optional for word typed (<code>bool</code>, <code>int</code>, <code>address</code>,
...) event arguments.</li>
@ -2110,7 +2167,7 @@ Bytes.to_int : bytes(_) =&gt; int
<code>signature (== bytes(64))</code> and allow for byte arrays of arbitrary fixed length.</li>
<li><code>Crypto.ecverify_secp256k1</code> has been added.</li>
</ul>
<h3 id="changed_15">Changed</h3>
<h3 id="changed_16">Changed</h3>
<ul>
<li>Address literals (+ Oracle, Oracle query and remote contracts) have been changed
from <code>#&lt;hex&gt;</code> to address as <code>ak_&lt;base58check&gt;</code>, oracle <code>ok_&lt;base58check&gt;</code>,
@ -2131,7 +2188,7 @@ Bytes.to_int : bytes(_) =&gt; int
<li>Add functions specific for Calldata decoding</li>
<li>Support for <code>Auth.tx_hash</code>, not available in AEVM until Fortuna release</li>
</ul>
<h3 id="changed_16">Changed</h3>
<h3 id="changed_17">Changed</h3>
<ul>
<li>Improvements to the ACI generator</li>
</ul>
@ -2146,7 +2203,7 @@ Bytes.to_int : bytes(_) =&gt; int
<li>Add a missig type check on the <code>init</code> function - detects programmer errors earlier.</li>
<li>Add the ACI (Aeternity Contract Interface) generator.</li>
</ul>
<h3 id="changed_17">Changed</h3>
<h3 id="changed_18">Changed</h3>
<ul>
<li>Use native bit shift operations in builtin functions, reducing gas cost.</li>
<li>Improve type checking of <code>record</code> fields - generates more understandable error messages.</li>

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">
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2023-09-04</lastmod>
<lastmod>2023-09-05</lastmod>
<changefreq>daily</changefreq>
</url>
</urlset>

BIN
master/sitemap.xml.gz
View File

Binary file not shown.