Support revert reasons (runtimeverification#654)

* web3.md:convert revert reason

* web3.md: fetch reason

* web3.md: create #generateException function

* update tests

* Apply suggestions from code review

Co-Authored-By: ehildenb <[email protected]>

Co-authored-by: ehildenb <[email protected]>

Decontextualize more (runtimeverification#640)

* web3: Create non-contextual #getBlockByNumber

* web3: Change #getBlockByNumber calls to use non-contextual version

* web3: Change #getParentHash to use non-contextual #getBlockByNumber

* web3: Remove contextual #getBlockByNumber

* web3: Decontextualize #getTransactionList

* web3: Create and use non-contextual #transactionsRoot

* web3: Remove contextual #transactionsRoot

* serialization: Make #rlpEncodeFullAccount that doesn't take an AccountData sort

* web3: Make non-contextual #stateRoot function

* web3: Make use of non-contextual #stateRoot

* web3,serialization: Remove contextual #stateRoot and associated helpers

* evm,evm-types: Move SubstateLogEntry to evm-types so serialization can see it

* web3,serialization: Make non-contextual #rlpEncodeReceipt and move its helpers into serialization

* serialization: Make rlpEncodeReceipt helpers into tail-calls

* web3: Make non-contextual #receiptsRoot

* web3: Make use of non-contextual #receiptsRoot

* web3: Remove contextual #receiptsRoot and its helpers

* evm-types,serialization: Remove #asString (already have #unparseByteStack)

* web3: Remove [owise] case from #getBlockByNumber

* web3: Remove [owise] case from #parseBlockIdentifier

* serialization,driver: Remove #rlpEncodeLogs conflict

* web3: Remove {set,get}BlockchainState for now

* web3: Remove #getParentHash

* evm: Remove use of #asString

Co-authored-by: ehildenb <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>

Jenkinsfile: enable Haskell backend on VM tests for Conformance testi…

…ng (runtimeverification#647)

* Jenkinsfile: enable Haskell backend on VM tests for Conformance testing

* tests/slow.haskell: sort

* tests/slow.haskell: add more slow tests

* tests/slow.haskell: add all tests which take longer than 15s

Co-authored-by: rv-jenkins <[email protected]>

HelloWorld Truffle test fix (runtimeverification#648)

* tests/truffle/HelloWorld: Fix HelloWorld test to run with ganache-cli

* web3: Remove TAG handling from estimateGas for now

* tests/failing.truffle: Remove HelloWorld from failing list

* tests/truffle/HelloWorld/contracts/Migrations: Make consistent solidity version

* web3: Create default block parameter for estimateGas

* web3: Add default block for eth_call and fix eth_sign

Co-authored-by: rv-jenkins <[email protected]>

Update dependencies (runtimeverification#642)

* deps/k: update submodule

* deps/k: update submodule

* deps/k: update submodule

* deps/k: update submodule

* deps/k: update submodule

Co-authored-by: ehildenb <[email protected]>

EIP - 152 Blake2 compression function F (runtimeverification#618)

* Add web3 rpc tests for blake2compression

* evm.md: Implement EIP-152

* formatting

* tests/failing.llvm: remove now passing tests

Co-authored-by: ehildenb <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>

Data.md refactoring (runtimeverification#632)

* data: Factor out Word operations, WordStack, ByteArray, and Account into evm-types.md

data,evm-types: Move #addr from data to evm-types

* data,evm: Move M3:2048 bloomfilter from data.md to evm.md, the only place it is used

* data,driver: Move #removeZeros from data to driver, the only place it is used

* data,serialization: Move various helpers from data to serialization

* data,evm: Move #lookup to evm, next to the opcode that uses it

* data,web3: Move JSON and JSON-RPC modules into json.md

data,json: move JSONKEY ::= Int to JSON module

* data: Move parsing/unparsing, rlp, and merkle tree stuff to serialization.md

* Update concrete-rules.txt files

* tests/interactive/sumTo10.evm.parse-expected: Change EVM-DATA to EVM-TYPES

* evm,evm-types: Move #lookup to EVM-TYPES

Update dependencies (runtimeverification#629)

* deps/plugin: update submodule

* Add blake2 to make target

* Add blake2.cpp to node's cmake list

* cmake/client/CMakeLists, krypto: add blake2compress hook

* krypto: formatting

EIP 2200 - SSTORE/SLOAD net-metered stores (runtimeverification#594)

* evm.md: fail the current frame if gas <= gas stipend

* evm.md: fix typo

* evm.md: use Gcallstipend, add Ghasdirtysstore

* cleanup eip 2200

* evm: formatting

* evm: rename Gsstorestipend => Ghassstorestipend

* tests/{failing,slow}.{llvm,ocaml}: update slow/failing lists

* tests/{failing,slow}.ocaml: remove uneeded files