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

Deployed b902226 to master with MkDocs 1.4.2 and mike 1.1.2

Browse Source
This commit is contained in:
GitHub Action 2023-06-19 10:22:09 +00:00
parent b3e72689b2
commit c75dbd1079
3 changed files with 158 additions and 86 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

242
master/CHANGELOG/index.html
View File

@ -401,6 +401,40 @@
</ul> </ul>
</nav> </nav>
</li>
<li class="md-nav__item">
<a href="#720" class="md-nav__link">
7.2.0
</a>
<nav class="md-nav" aria-label="7.2.0">
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#added_1" class="md-nav__link">
Added
</a>
</li>
<li class="md-nav__item">
<a href="#removed_1" class="md-nav__link">
Removed
</a>
</li>
<li class="md-nav__item">
<a href="#fixed_1" class="md-nav__link">
Fixed
</a>
</li>
</ul>
</nav>
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
@ -412,7 +446,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_1" class="md-nav__link"> <a href="#added_2" class="md-nav__link">
Added Added
</a> </a>
@ -426,7 +460,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#fixed_1" class="md-nav__link"> <a href="#fixed_2" class="md-nav__link">
Fixed Fixed
</a> </a>
@ -446,7 +480,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_2" class="md-nav__link"> <a href="#added_3" class="md-nav__link">
Added Added
</a> </a>
@ -460,7 +494,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#fixed_2" class="md-nav__link"> <a href="#fixed_3" class="md-nav__link">
Fixed Fixed
</a> </a>
@ -480,7 +514,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_3" class="md-nav__link"> <a href="#added_4" class="md-nav__link">
Added Added
</a> </a>
@ -494,7 +528,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_1" class="md-nav__link"> <a href="#removed_2" class="md-nav__link">
Removed Removed
</a> </a>
@ -514,7 +548,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_4" class="md-nav__link"> <a href="#added_5" class="md-nav__link">
Added Added
</a> </a>
@ -581,7 +615,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_5" class="md-nav__link"> <a href="#added_6" class="md-nav__link">
Added Added
</a> </a>
@ -595,7 +629,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_2" class="md-nav__link"> <a href="#removed_3" class="md-nav__link">
Removed Removed
</a> </a>
@ -615,7 +649,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_6" class="md-nav__link"> <a href="#added_7" class="md-nav__link">
Added Added
</a> </a>
@ -629,7 +663,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_3" class="md-nav__link"> <a href="#removed_4" class="md-nav__link">
Removed Removed
</a> </a>
@ -649,7 +683,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_7" class="md-nav__link"> <a href="#added_8" class="md-nav__link">
Added Added
</a> </a>
@ -663,7 +697,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_4" class="md-nav__link"> <a href="#removed_5" class="md-nav__link">
Removed Removed
</a> </a>
@ -683,7 +717,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_8" class="md-nav__link"> <a href="#added_9" class="md-nav__link">
Added Added
</a> </a>
@ -697,7 +731,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_5" class="md-nav__link"> <a href="#removed_6" class="md-nav__link">
Removed Removed
</a> </a>
@ -717,7 +751,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_9" class="md-nav__link"> <a href="#added_10" class="md-nav__link">
Added Added
</a> </a>
@ -731,7 +765,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_6" class="md-nav__link"> <a href="#removed_7" class="md-nav__link">
Removed Removed
</a> </a>
@ -751,7 +785,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_10" class="md-nav__link"> <a href="#added_11" class="md-nav__link">
Added Added
</a> </a>
@ -765,7 +799,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_7" class="md-nav__link"> <a href="#removed_8" class="md-nav__link">
Removed Removed
</a> </a>
@ -785,7 +819,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_11" class="md-nav__link"> <a href="#added_12" class="md-nav__link">
Added Added
</a> </a>
@ -799,7 +833,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_8" class="md-nav__link"> <a href="#removed_9" class="md-nav__link">
Removed Removed
</a> </a>
@ -819,7 +853,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_12" class="md-nav__link"> <a href="#added_13" class="md-nav__link">
Added Added
</a> </a>
@ -833,7 +867,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_9" class="md-nav__link"> <a href="#removed_10" class="md-nav__link">
Removed Removed
</a> </a>
@ -853,7 +887,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_13" class="md-nav__link"> <a href="#added_14" class="md-nav__link">
Added Added
</a> </a>
@ -867,7 +901,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_10" class="md-nav__link"> <a href="#removed_11" class="md-nav__link">
Removed Removed
</a> </a>
@ -887,7 +921,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_14" class="md-nav__link"> <a href="#added_15" class="md-nav__link">
Added Added
</a> </a>
@ -914,7 +948,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_15" class="md-nav__link"> <a href="#added_16" class="md-nav__link">
Added Added
</a> </a>
@ -1005,6 +1039,40 @@
</ul> </ul>
</nav> </nav>
</li>
<li class="md-nav__item">
<a href="#720" class="md-nav__link">
7.2.0
</a>
<nav class="md-nav" aria-label="7.2.0">
<ul class="md-nav__list">
<li class="md-nav__item">
<a href="#added_1" class="md-nav__link">
Added
</a>
</li>
<li class="md-nav__item">
<a href="#removed_1" class="md-nav__link">
Removed
</a>
</li>
<li class="md-nav__item">
<a href="#fixed_1" class="md-nav__link">
Fixed
</a>
</li>
</ul>
</nav>
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
@ -1016,7 +1084,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_1" class="md-nav__link"> <a href="#added_2" class="md-nav__link">
Added Added
</a> </a>
@ -1030,7 +1098,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#fixed_1" class="md-nav__link"> <a href="#fixed_2" class="md-nav__link">
Fixed Fixed
</a> </a>
@ -1050,7 +1118,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_2" class="md-nav__link"> <a href="#added_3" class="md-nav__link">
Added Added
</a> </a>
@ -1064,7 +1132,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#fixed_2" class="md-nav__link"> <a href="#fixed_3" class="md-nav__link">
Fixed Fixed
</a> </a>
@ -1084,7 +1152,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_3" class="md-nav__link"> <a href="#added_4" class="md-nav__link">
Added Added
</a> </a>
@ -1098,7 +1166,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_1" class="md-nav__link"> <a href="#removed_2" class="md-nav__link">
Removed Removed
</a> </a>
@ -1118,7 +1186,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_4" class="md-nav__link"> <a href="#added_5" class="md-nav__link">
Added Added
</a> </a>
@ -1185,7 +1253,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_5" class="md-nav__link"> <a href="#added_6" class="md-nav__link">
Added Added
</a> </a>
@ -1199,7 +1267,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_2" class="md-nav__link"> <a href="#removed_3" class="md-nav__link">
Removed Removed
</a> </a>
@ -1219,7 +1287,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_6" class="md-nav__link"> <a href="#added_7" class="md-nav__link">
Added Added
</a> </a>
@ -1233,7 +1301,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_3" class="md-nav__link"> <a href="#removed_4" class="md-nav__link">
Removed Removed
</a> </a>
@ -1253,7 +1321,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_7" class="md-nav__link"> <a href="#added_8" class="md-nav__link">
Added Added
</a> </a>
@ -1267,7 +1335,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_4" class="md-nav__link"> <a href="#removed_5" class="md-nav__link">
Removed Removed
</a> </a>
@ -1287,7 +1355,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_8" class="md-nav__link"> <a href="#added_9" class="md-nav__link">
Added Added
</a> </a>
@ -1301,7 +1369,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_5" class="md-nav__link"> <a href="#removed_6" class="md-nav__link">
Removed Removed
</a> </a>
@ -1321,7 +1389,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_9" class="md-nav__link"> <a href="#added_10" class="md-nav__link">
Added Added
</a> </a>
@ -1335,7 +1403,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_6" class="md-nav__link"> <a href="#removed_7" class="md-nav__link">
Removed Removed
</a> </a>
@ -1355,7 +1423,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_10" class="md-nav__link"> <a href="#added_11" class="md-nav__link">
Added Added
</a> </a>
@ -1369,7 +1437,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_7" class="md-nav__link"> <a href="#removed_8" class="md-nav__link">
Removed Removed
</a> </a>
@ -1389,7 +1457,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_11" class="md-nav__link"> <a href="#added_12" class="md-nav__link">
Added Added
</a> </a>
@ -1403,7 +1471,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_8" class="md-nav__link"> <a href="#removed_9" class="md-nav__link">
Removed Removed
</a> </a>
@ -1423,7 +1491,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_12" class="md-nav__link"> <a href="#added_13" class="md-nav__link">
Added Added
</a> </a>
@ -1437,7 +1505,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_9" class="md-nav__link"> <a href="#removed_10" class="md-nav__link">
Removed Removed
</a> </a>
@ -1457,7 +1525,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_13" class="md-nav__link"> <a href="#added_14" class="md-nav__link">
Added Added
</a> </a>
@ -1471,7 +1539,7 @@
</li> </li>
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#removed_10" class="md-nav__link"> <a href="#removed_11" class="md-nav__link">
Removed Removed
</a> </a>
@ -1491,7 +1559,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_14" class="md-nav__link"> <a href="#added_15" class="md-nav__link">
Added Added
</a> </a>
@ -1518,7 +1586,7 @@
<ul class="md-nav__list"> <ul class="md-nav__list">
<li class="md-nav__item"> <li class="md-nav__item">
<a href="#added_15" class="md-nav__link"> <a href="#added_16" class="md-nav__link">
Added Added
</a> </a>
@ -1556,8 +1624,13 @@
<p>All notable changes to this project will be documented in this file.</p> <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>, <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> 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.1.0...HEAD">Unreleased</a></h2> <h2 id="unreleased"><a href="https://github.com/aeternity/aesophia/compare/v7.2.0...HEAD">Unreleased</a></h2>
<h3 id="added">Added</h3> <h3 id="added">Added</h3>
<h3 id="changed">Changed</h3>
<h3 id="removed">Removed</h3>
<h3 id="fixed">Fixed</h3>
<h2 id="720"><a href="https://github.com/aeternity/aesophia/compare/v7.1.0...v7.2.0">7.2.0</a></h2>
<h3 id="added_1">Added</h3>
<ul> <ul>
<li>Toplevel compile-time constants <li>Toplevel compile-time constants
<div class="highlight"><pre><span></span><code>namespace N = <div class="highlight"><pre><span></span><code>namespace N =
@ -1567,17 +1640,16 @@ contract C =
</code></pre></div></li> </code></pre></div></li>
<li>API functions for encoding/decoding Sophia values to/from FATE.</li> <li>API functions for encoding/decoding Sophia values to/from FATE.</li>
</ul> </ul>
<h3 id="changed">Changed</h3> <h3 id="removed_1">Removed</h3>
<h3 id="removed">Removed</h3>
<ul> <ul>
<li>Remove the mapping from variables to FATE registers from the compilation output.</li> <li>Remove the mapping from variables to FATE registers from the compilation output.</li>
</ul> </ul>
<h3 id="fixed">Fixed</h3> <h3 id="fixed_1">Fixed</h3>
<ul> <ul>
<li>Warning about unused include when there is no include.</li> <li>Warning about unused include when there is no include.</li>
</ul> </ul>
<h2 id="710"><a href="https://github.com/aeternity/aesophia/compare/v7.0.1...v7.1.0">7.1.0</a></h2> <h2 id="710"><a href="https://github.com/aeternity/aesophia/compare/v7.0.1...v7.1.0">7.1.0</a></h2>
<h3 id="added_1">Added</h3> <h3 id="added_2">Added</h3>
<ul> <ul>
<li>Options to enable/disable certain optimizations.</li> <li>Options to enable/disable certain optimizations.</li>
<li>The ability to call a different instance of the current contract <li>The ability to call a different instance of the current contract
@ -1595,12 +1667,12 @@ contract C =
<li>Contracts can no longer be used as namespaces.</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> <li>Do not show unused stateful warning for functions that call other contracts with a non-zero value argument.</li>
</ul> </ul>
<h3 id="fixed_1">Fixed</h3> <h3 id="fixed_2">Fixed</h3>
<ul> <ul>
<li>Typechecker crashes if Chain.create or Chain.clone are used without arguments.</li> <li>Typechecker crashes if Chain.create or Chain.clone are used without arguments.</li>
</ul> </ul>
<h2 id="701"><a href="https://github.com/aeternity/aesophia/compare/v7.0.0...v7.0.1">7.0.1</a></h2> <h2 id="701"><a href="https://github.com/aeternity/aesophia/compare/v7.0.0...v7.0.1">7.0.1</a></h2>
<h3 id="added_2">Added</h3> <h3 id="added_3">Added</h3>
<ul> <ul>
<li>Add CONTRIBUTING.md file.</li> <li>Add CONTRIBUTING.md file.</li>
</ul> </ul>
@ -1608,12 +1680,12 @@ contract C =
<ul> <ul>
<li>Update Sophia syntax docs to include missing information about existing syntax.</li> <li>Update Sophia syntax docs to include missing information about existing syntax.</li>
</ul> </ul>
<h3 id="fixed_2">Fixed</h3> <h3 id="fixed_3">Fixed</h3>
<ul> <ul>
<li><a href="https://github.com/aeternity/aesophia/issues/404">404</a> Contract polymorphism crashes on non-obvious child contract typing.</li> <li><a href="https://github.com/aeternity/aesophia/issues/404">404</a> Contract polymorphism crashes on non-obvious child contract typing.</li>
</ul> </ul>
<h2 id="700"><a href="https://github.com/aeternity/aesophia/compare/v6.1.0...v7.0.0">7.0.0</a></h2> <h2 id="700"><a href="https://github.com/aeternity/aesophia/compare/v6.1.0...v7.0.0">7.0.0</a></h2>
<h3 id="added_3">Added</h3> <h3 id="added_4">Added</h3>
<ul> <ul>
<li>Added support for <code>EXIT</code> opcode via <code>exit : (string) =&gt; 'a</code> function (behaves same as <code>ABORT</code>, but consumes all gas).</li> <li>Added support for <code>EXIT</code> opcode via <code>exit : (string) =&gt; 'a</code> function (behaves same as <code>ABORT</code>, but consumes all gas).</li>
<li>Compiler warnings for the following: shadowing, negative spends, division by zero, unused functions, unused includes, unused stateful annotations, unused variables, unused parameters, unused user-defined type, dead return value.</li> <li>Compiler warnings for the following: shadowing, negative spends, division by zero, unused functions, unused includes, unused stateful annotations, unused variables, unused parameters, unused user-defined type, dead return value.</li>
@ -1631,12 +1703,12 @@ function logical_and(x, y) = (&amp;&amp;)(x, y)
<li>Error messages have been restructured (less newlines) to provide more unified errors. Also <code>pp_oneline/1</code> has been added.</li> <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> <li>Ban empty record definitions (e.g. <code>record r = {}</code> would give an error).</li>
</ul> </ul>
<h3 id="removed_1">Removed</h3> <h3 id="removed_2">Removed</h3>
<ul> <ul>
<li>Support for AEVM has been entirely wiped</li> <li>Support for AEVM has been entirely wiped</li>
</ul> </ul>
<h2 id="610-2021-10-20"><a href="https://github.com/aeternity/aesophia/compare/v6.0.2...v6.1.0">6.1.0</a> - 2021-10-20</h2> <h2 id="610-2021-10-20"><a href="https://github.com/aeternity/aesophia/compare/v6.0.2...v6.1.0">6.1.0</a> - 2021-10-20</h2>
<h3 id="added_4">Added</h3> <h3 id="added_5">Added</h3>
<ul> <ul>
<li><code>Bitwise</code> stdlib</li> <li><code>Bitwise</code> stdlib</li>
<li><code>Set</code> stdlib</li> <li><code>Set</code> stdlib</li>
@ -1673,7 +1745,7 @@ function logical_and(x, y) = (&amp;&amp;)(x, y)
<li>Fixed a missing <code>include</code> in the <code>Frac</code> standard library</li> <li>Fixed a missing <code>include</code> in the <code>Frac</code> standard library</li>
</ul> </ul>
<h2 id="600-2021-05-26"><a href="https://github.com/aeternity/aesophia/compare/v5.0.0...v6.0.0">6.0.0</a> 2021-05-26</h2> <h2 id="600-2021-05-26"><a href="https://github.com/aeternity/aesophia/compare/v5.0.0...v6.0.0">6.0.0</a> 2021-05-26</h2>
<h3 id="added_5">Added</h3> <h3 id="added_6">Added</h3>
<ul> <ul>
<li>Child contracts</li> <li>Child contracts</li>
<li><code>Chain.clone</code></li> <li><code>Chain.clone</code></li>
@ -1689,9 +1761,9 @@ function logical_and(x, y) = (&amp;&amp;)(x, y)
<li><code>main</code> keyword to indicate the main contract in case there are child contracts around</li> <li><code>main</code> keyword to indicate the main contract in case there are child contracts around</li>
<li><code>List.sum</code> and <code>List.product</code> no longer use <code>List.foldl</code></li> <li><code>List.sum</code> and <code>List.product</code> no longer use <code>List.foldl</code></li>
</ul> </ul>
<h3 id="removed_2">Removed</h3> <h3 id="removed_3">Removed</h3>
<h2 id="500-2021-04-30"><a href="https://github.com/aeternity/aesophia/compare/v4.3.0...v5.0.0">5.0.0</a> 2021-04-30</h2> <h2 id="500-2021-04-30"><a href="https://github.com/aeternity/aesophia/compare/v4.3.0...v5.0.0">5.0.0</a> 2021-04-30</h2>
<h3 id="added_6">Added</h3> <h3 id="added_7">Added</h3>
<ul> <ul>
<li>A new and improved <a href="https://github.com/aeternity/aesophia/blob/master/docs/sophia_stdlib.md#string"><code>String</code> standard library</a> <li>A new and improved <a href="https://github.com/aeternity/aesophia/blob/master/docs/sophia_stdlib.md#string"><code>String</code> standard library</a>
has been added. Use it by <code>include "String.aes"</code>. It includes functions for has been added. Use it by <code>include "String.aes"</code>. It includes functions for
@ -1759,9 +1831,9 @@ contract C =
<li>Improved the documentation w.r.t. signatures, especially stressing the fact that <li>Improved the documentation w.r.t. signatures, especially stressing the fact that
the network ID is a part of what is signed.</li> the network ID is a part of what is signed.</li>
</ul> </ul>
<h3 id="removed_3">Removed</h3> <h3 id="removed_4">Removed</h3>
<h2 id="430"><a href="https://github.com/aeternity/aesophia/compare/v4.2.0...v4.3.0">4.3.0</a></h2> <h2 id="430"><a href="https://github.com/aeternity/aesophia/compare/v4.2.0...v4.3.0">4.3.0</a></h2>
<h3 id="added_7">Added</h3> <h3 id="added_8">Added</h3>
<ul> <ul>
<li>Added documentation (moved from <code>protocol</code>)</li> <li>Added documentation (moved from <code>protocol</code>)</li>
<li><code>Frac.aes</code> – library for rational numbers</li> <li><code>Frac.aes</code> – library for rational numbers</li>
@ -1779,13 +1851,13 @@ contract C =
<li>Fixed variant type printing in the ACI error messages</li> <li>Fixed variant type printing in the ACI error messages</li>
<li>Fixed pretty printing of combined function clauses</li> <li>Fixed pretty printing of combined function clauses</li>
</ul> </ul>
<h3 id="removed_4">Removed</h3> <h3 id="removed_5">Removed</h3>
<ul> <ul>
<li><code>let</code> definitions are no longer supported in the toplevel of the contract</li> <li><code>let</code> definitions are no longer supported in the toplevel of the contract</li>
<li>type declarations are no longer supported</li> <li>type declarations are no longer supported</li>
</ul> </ul>
<h2 id="420-2020-01-15"><a href="https://github.com/aeternity/aesophia/compare/v4.1.0...v4.2.0">4.2.0</a> - 2020-01-15</h2> <h2 id="420-2020-01-15"><a href="https://github.com/aeternity/aesophia/compare/v4.1.0...v4.2.0">4.2.0</a> - 2020-01-15</h2>
<h3 id="added_8">Added</h3> <h3 id="added_9">Added</h3>
<ul> <ul>
<li>Allow separate entrypoint/function type signature and definition, and pattern <li>Allow separate entrypoint/function type signature and definition, and pattern
matching in left-hand sides: matching in left-hand sides:
@ -1811,9 +1883,9 @@ contract C =
<li>Bug fix: Handle qualified constructors in patterns.</li> <li>Bug fix: Handle qualified constructors in patterns.</li>
<li>Bug fix: Allow switching also on negative numbers.</li> <li>Bug fix: Allow switching also on negative numbers.</li>
</ul> </ul>
<h3 id="removed_5">Removed</h3> <h3 id="removed_6">Removed</h3>
<h2 id="410-2019-11-26"><a href="https://github.com/aeternity/aesophia/compare/v4.0.0...v4.1.0">4.1.0</a> - 2019-11-26</h2> <h2 id="410-2019-11-26"><a href="https://github.com/aeternity/aesophia/compare/v4.0.0...v4.1.0">4.1.0</a> - 2019-11-26</h2>
<h3 id="added_9">Added</h3> <h3 id="added_10">Added</h3>
<ul> <ul>
<li>Support encoding and decoding bit fields in call arguments and results.</li> <li>Support encoding and decoding bit fields in call arguments and results.</li>
</ul> </ul>
@ -1821,9 +1893,9 @@ contract C =
<ul> <ul>
<li>Various improvements to FATE code generator.</li> <li>Various improvements to FATE code generator.</li>
</ul> </ul>
<h3 id="removed_6">Removed</h3> <h3 id="removed_7">Removed</h3>
<h2 id="400-2019-10-11"><a href="https://github.com/aeternity/aesophia/compare/v3.2.0...v4.0.0">4.0.0</a> - 2019-10-11</h2> <h2 id="400-2019-10-11"><a href="https://github.com/aeternity/aesophia/compare/v3.2.0...v4.0.0">4.0.0</a> - 2019-10-11</h2>
<h3 id="added_10">Added</h3> <h3 id="added_11">Added</h3>
<ul> <ul>
<li><code>Address.to_contract</code> - casts an address to a (any) contract type.</li> <li><code>Address.to_contract</code> - casts an address to a (any) contract type.</li>
<li>Pragma to check compiler version, e.g. <code>@compiler &gt;= 4.0</code>.</li> <li>Pragma to check compiler version, e.g. <code>@compiler &gt;= 4.0</code>.</li>
@ -1877,9 +1949,9 @@ contract C =
<li>Renamed <code>Crypto.ecverify</code> and <code>Crypto.ecverify_secp256k1</code> into <code>Crypto.verify_sig</code> and <li>Renamed <code>Crypto.ecverify</code> and <code>Crypto.ecverify_secp256k1</code> into <code>Crypto.verify_sig</code> and
<code>Crypto.verify_sig_secp256k1</code> respectively.</li> <code>Crypto.verify_sig_secp256k1</code> respectively.</li>
</ul> </ul>
<h3 id="removed_7">Removed</h3> <h3 id="removed_8">Removed</h3>
<h2 id="320-2019-06-28"><a href="https://github.com/aeternity/aesophia/compare/v3.1.0...v3.2.0">3.2.0</a> - 2019-06-28</h2> <h2 id="320-2019-06-28"><a href="https://github.com/aeternity/aesophia/compare/v3.1.0...v3.2.0">3.2.0</a> - 2019-06-28</h2>
<h3 id="added_11">Added</h3> <h3 id="added_12">Added</h3>
<ul> <ul>
<li>New builtin function <code>require : (bool, string) =&gt; ()</code>. Defined as <li>New builtin function <code>require : (bool, string) =&gt; ()</code>. Defined as
<div class="highlight"><pre><span></span><code>function require(b, err) = if(!b) abort(err) <div class="highlight"><pre><span></span><code>function require(b, err) = if(!b) abort(err)
@ -1909,9 +1981,9 @@ Bytes.to_int : bytes(_) =&gt; int
<li>Fixed bugs when defining record types in namespaces.</li> <li>Fixed bugs when defining record types in namespaces.</li>
<li>Fixed a bug in include path handling when passing options to the compiler.</li> <li>Fixed a bug in include path handling when passing options to the compiler.</li>
</ul> </ul>
<h3 id="removed_8">Removed</h3> <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> <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_12">Added</h3> <h3 id="added_13">Added</h3>
<h3 id="changed_14">Changed</h3> <h3 id="changed_14">Changed</h3>
<ul> <ul>
<li>Keyword <code>indexed</code> is now optional for word typed (<code>bool</code>, <code>int</code>, <code>address</code>, <li>Keyword <code>indexed</code> is now optional for word typed (<code>bool</code>, <code>int</code>, <code>address</code>,
@ -1928,9 +2000,9 @@ Bytes.to_int : bytes(_) =&gt; int
<li>Fixed a bug in <code>create_calldata</code>/<code>to_sophia_value</code> - it can now handle negative <li>Fixed a bug in <code>create_calldata</code>/<code>to_sophia_value</code> - it can now handle negative
literals.</li> literals.</li>
</ul> </ul>
<h3 id="removed_9">Removed</h3> <h3 id="removed_10">Removed</h3>
<h2 id="300-2019-05-21"><a href="https://github.com/aeternity/aesophia/compare/v2.1.0...v3.0.0">3.0.0</a> - 2019-05-21</h2> <h2 id="300-2019-05-21"><a href="https://github.com/aeternity/aesophia/compare/v2.1.0...v3.0.0">3.0.0</a> - 2019-05-21</h2>
<h3 id="added_13">Added</h3> <h3 id="added_14">Added</h3>
<ul> <ul>
<li><code>stateful</code> annotations are now properly enforced. Functions must be marked stateful <li><code>stateful</code> annotations are now properly enforced. Functions must be marked stateful
in order to update the state or spend tokens.</li> in order to update the state or spend tokens.</li>
@ -1948,14 +2020,14 @@ Bytes.to_int : bytes(_) =&gt; int
<li>The compilation and typechecking of <code>letfun</code> (e.g. <code>let m(f, xs) = map(f, xs)</code>) was <li>The compilation and typechecking of <code>letfun</code> (e.g. <code>let m(f, xs) = map(f, xs)</code>) was
not working properly and has been fixed.</li> not working properly and has been fixed.</li>
</ul> </ul>
<h3 id="removed_10">Removed</h3> <h3 id="removed_11">Removed</h3>
<ul> <ul>
<li><code>let rec</code> has been removed from the language, it has never worked.</li> <li><code>let rec</code> has been removed from the language, it has never worked.</li>
<li>The standalone CLI compiler is served in the repo <code>aeternity/aesophia_cli</code> and has <li>The standalone CLI compiler is served in the repo <code>aeternity/aesophia_cli</code> and has
been completely removed from <code>aesophia</code>.</li> been completely removed from <code>aesophia</code>.</li>
</ul> </ul>
<h2 id="210-2019-04-11"><a href="https://github.com/aeternity/aesophia/compare/v2.0.0...v2.1.0">2.1.0</a> - 2019-04-11</h2> <h2 id="210-2019-04-11"><a href="https://github.com/aeternity/aesophia/compare/v2.0.0...v2.1.0">2.1.0</a> - 2019-04-11</h2>
<h3 id="added_14">Added</h3> <h3 id="added_15">Added</h3>
<ul> <ul>
<li>Stubs (not yet wired up) for compilation to FATE</li> <li>Stubs (not yet wired up) for compilation to FATE</li>
<li>Add functions specific for Calldata decoding</li> <li>Add functions specific for Calldata decoding</li>
@ -1966,7 +2038,7 @@ Bytes.to_int : bytes(_) =&gt; int
<li>Improvements to the ACI generator</li> <li>Improvements to the ACI generator</li>
</ul> </ul>
<h2 id="200-2019-03-11"><a href="https://github.com/aeternity/aesophia/tag/v2.0.0">2.0.0</a> - 2019-03-11</h2> <h2 id="200-2019-03-11"><a href="https://github.com/aeternity/aesophia/tag/v2.0.0">2.0.0</a> - 2019-03-11</h2>
<h3 id="added_15">Added</h3> <h3 id="added_16">Added</h3>
<ul> <ul>
<li>Add <code>Crypto.ecverify</code> to the compiler.</li> <li>Add <code>Crypto.ecverify</code> to the compiler.</li>
<li>Add <code>Crypto.sha3</code>, <code>Crypto.blake2</code>, <code>Crypto.sha256</code>, <code>String.blake2</code> and <li>Add <code>Crypto.sha3</code>, <code>Crypto.blake2</code>, <code>Crypto.sha256</code>, <code>String.blake2</code> and

2
master/search/search_index.json
View File

File diff suppressed because one or more lines are too long

BIN
master/sitemap.xml.gz
View File

Binary file not shown.