rebase Andrei's Xi, restructure call, cleanup

ethever · Jul 19, 2024 · 5e6dfc1 · 5e6dfc1
1 parent 43f1d82
commit 5e6dfc1
Show file tree

Hide file tree

Showing 3 changed files with 138 additions and 243 deletions.
diff --git a/EvmYul/EVM/Exception.lean b/EvmYul/EVM/Exception.lean
@@ -15,6 +15,7 @@ inductive Exception where
   | Underflow                         : Exception 
   | Overflow                          : Exception 
   | StopInvoked (s : EVM.State)       : Exception
+  | OutOfFuel                         : Exception
 
 instance : Repr Exception where
   reprPrec s _ := match s with
@@ -28,6 +29,7 @@ instance : Repr Exception where
                     | .Underflow                         => "Underflow"
                     | .Overflow                          => "Overflow"
                     | .StopInvoked _                     => "Execution halted by STOP."
+                    | .OutOfFuel                         => "OutOfFuel"
 
 end EVM