Merge branch 'main' into tolga/uniswap-sqrt-updates

Pi-Squared-Inc · Sep 16, 2024 · ba7ecfa · ba7ecfa
2 parents 76d5804 + 584d93a
commit ba7ecfa
Show file tree

Hide file tree

Showing 4 changed files with 3,018 additions and 24 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>