Return priority (#33)

* Added priority to return rule. * Updated reference outputs for swaps, Uniswap*.
Pi-Squared-Inc · Sep 13, 2024 · 584d93a · 584d93a
1 parent b8d3e5e
commit 584d93a
Show file tree

Hide file tree

Showing 4 changed files with 3,005 additions and 3,005 deletions.
diff --git a/src/statement.md b/src/statement.md
@@ -35,7 +35,7 @@ module SOLIDITY-STATEMENT
 
   rule <k> return V:TypedVal ; ~> _ => V ~> K </k>
        <env> _ => E </env>
-       <call-stack>... ListItem(frame(K, E)) => .List </call-stack>
+       <call-stack>... ListItem(frame(K, E)) => .List </call-stack> [owise]
 
   // variable declaration
   rule <k> LT:TypeName X:Id = v(V, RT) ; => .K ...</k>