StatusCode for node (#399)

* deps/plugin: update submodule

* network: StatusCode2String

* evm-node: pass status code to vmResult

* evm-node: fix name of field

* network: fix typos

* network: formatting

Author: dwightguth

deps/plugin

@@ -214,10 +214,10 @@ Because the same account may be loaded more than once, implementations of this i
 -   `extractConfig` takes a final configuration after rewriting and extracts a `vmResult` from it in order to abstract away configuration structure from the postprocessing done by the blockchain-k-plugin.
 
 ```{.k .node}
-    syntax KItem ::= vmResult ( return: String , gas: Int , refund: Int , status: Int , selfdestruct: List , logs: List , AccountsCell , touched: List )
+    syntax KItem ::= vmResult ( return: String , gas: Int , refund: Int , status: Int , selfdestruct: List , logs: List , AccountsCell , touched: List , statusCode: String )
     syntax KItem ::= extractConfig() [function, symbol]
  // ---------------------------------------------------
-    rule [[ extractConfig() => vmResult(#unparseByteStack(OUT), GAVAIL, REFUND, STATUS, Set2List(SD), LOGS, <accounts> ACCTS </accounts>, Set2List(TOUCHED)) ]]
+    rule [[ extractConfig() => vmResult(#unparseByteStack(OUT), GAVAIL, REFUND, STATUS, Set2List(SD), LOGS, <accounts> ACCTS </accounts>, Set2List(TOUCHED), StatusCode2String(STATUSCODE)) ]]
          <output> OUT </output>
          <gas> GAVAIL </gas>
          <refund> REFUND </refund>
@@ -226,6 +226,7 @@ Because the same account may be loaded more than once, implementations of this i
          <log> LOGS </log>
          <accounts> ACCTS </accounts>
          <touchedAccounts> TOUCHED </touchedAccounts>
+         <statusCode> STATUSCODE </statusCode>
 ```
 
 -   `contractBytes` takes the contents of the `<code>` cell and returns its binary representation as a String.

evm-node.md

@@ -6,6 +6,10 @@ It will incrementally build up to supporting the entire [EVM-C API].
 
 ```k
 module NETWORK
+    imports STRING-SYNTAX
+
+    syntax String ::= StatusCode2String(StatusCode) [function]
+ // ----------------------------------------------------------
 ```
 
 EVM Status Codes
@@ -41,6 +45,18 @@ The following codes all indicate that the VM ended execution with an exception,
                                    | "EVMC_INVALID_MEMORY_ACCESS"
                                    | "EVMC_STATIC_MODE_VIOLATION"
                                    | "EVMC_PRECOMPILE_FAILURE"
+ // ----------------------------------------------------------
+    rule StatusCode2String(EVMC_FAILURE)               => "EVMC_FAILURE"
+    rule StatusCode2String(EVMC_INVALID_INSTRUCTION)   => "EVMC_INVALID_INSTRUCTION"
+    rule StatusCode2String(EVMC_UNDEFINED_INSTRUCTION) => "EVMC_UNDEFINED_INSTRUCTION"
+    rule StatusCode2String(EVMC_OUT_OF_GAS)            => "EVMC_OUT_OF_GAS"
+    rule StatusCode2String(EVMC_BAD_JUMP_DESTINATION)  => "EVMC_BAD_JUMP_DESTINATION"
+    rule StatusCode2String(EVMC_STACK_OVERFLOW)        => "EVMC_STACK_OVERFLOW"
+    rule StatusCode2String(EVMC_STACK_UNDERFLOW)       => "EVMC_STACK_UNDERFLOW"
+    rule StatusCode2String(EVMC_CALL_DEPTH_EXCEEDED)   => "EVMC_CALL_DEPTH_EXCEEDED"
+    rule StatusCode2String(EVMC_INVALID_MEMORY_ACCESS) => "EVMC_INVALID_MEMORY_ACCESS"
+    rule StatusCode2String(EVMC_STATIC_MODE_VIOLATION) => "EVMC_STATIC_MODE_VIOLATION"
+    rule StatusCode2String(EVMC_PRECOMPILE_FAILURE)    => "EVMC_PRECOMPILE_FAILURE"
 ```
 
 ### Ending Codes
@@ -54,6 +70,9 @@ These additional status codes indicate that execution has ended in some non-exce
     syntax EndStatusCode ::= ExceptionalStatusCode
                            | "EVMC_SUCCESS"
                            | "EVMC_REVERT"
+ // --------------------------------------
+    rule StatusCode2String(EVMC_SUCCESS) => "EVMC_SUCCESS"
+    rule StatusCode2String(EVMC_REVERT)  => "EVMC_REVERT"
 ```
 
 ### Other Codes
@@ -69,6 +88,10 @@ The following codes indicate other non-execution errors with the VM.
                         | "EVMC_REJECTED"
                         | "EVMC_INTERNAL_ERROR"
                         | ".StatusCode"
+ // -----------------------------------
+    rule StatusCode2String(EVMC_REJECTED)       => "EVMC_REJECTED"
+    rule StatusCode2String(EVMC_INTERNAL_ERROR) => "EVMC_INTERNAL_ERROR"
+    rule StatusCode2String(.StatusCode)         => ""
 ```
 
 Client/Network Codes
@@ -83,6 +106,9 @@ These are not present in the [EVM-C API].
 ```k
     syntax ExceptionalStatusCode ::= "EVMC_ACCOUNT_ALREADY_EXISTS"
                                    | "EVMC_BALANCE_UNDERFLOW"
+ // ---------------------------------------------------------
+    rule StatusCode2String(EVMC_ACCOUNT_ALREADY_EXISTS) => "EVMC_ACCOUNT_ALREADY_EXISTS"
+    rule StatusCode2String(EVMC_BALANCE_UNDERFLOW)      => "EVMC_BALANCE_UNDERFLOW"
 ```
 
 ```k