From d897007640faf1177bfab172c087e1d60b2b09f9 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Tue, 26 Apr 2022 17:10:38 +0000 Subject: [PATCH] Deployed 8897cc6 to master with MkDocs 1.2.4 and mike 1.0.1 --- master/CHANGELOG/index.html | 86 ++-- master/aeso_aci/index.html | 191 ++++--- master/aeso_compiler/index.html | 41 +- master/search/search_index.json | 2 +- master/sitemap.xml | 18 +- master/sitemap.xml.gz | Bin 202 -> 203 bytes master/sophia_examples/index.html | 118 ++--- master/sophia_features/index.html | 479 +++++++++-------- master/sophia_stdlib/index.html | 825 +++++++++++------------------- master/sophia_syntax/index.html | 232 ++++----- 10 files changed, 848 insertions(+), 1144 deletions(-) diff --git a/master/CHANGELOG/index.html b/master/CHANGELOG/index.html index 5fc4af9..5456913 100644 --- a/master/CHANGELOG/index.html +++ b/master/CHANGELOG/index.html @@ -1307,8 +1307,7 @@ and this project adheres to Semant

Changed

Changed

There are also convenience functions split, concat, to_upper, @@ -1413,14 +1409,13 @@ contract C = transaction and the transaction hash is available Auth.tx, it is only available during authentication if invoked by a normal contract call it returns None. Example: - 

switch(Auth.tx)
-  None      => abort("Not in Auth context")
-  Some(tx0) =>
-    switch(tx0.tx)
-      Chain.SpendTx(_, amount, _)  => amount > 400
-      Chain.ContractCallTx(_, _)   => true
-      _                            => false
-
+ switch(Auth.tx) + None => abort("Not in Auth context") + Some(tx0) => + switch(tx0.tx) + Chain.SpendTx(_, amount, _) => amount > 400 + Chain.ContractCallTx(_, _) => true + _ => false - A debug mode is a added to the compiler. Right now its only use is to turn off hermetization.

Changed

@@ -1469,21 +1464,18 @@ contract C =

Changed