hevm/0.42.0

hevm 0.42.0 - 2020-10-31

Changed

• z3 updated to 4.8.8
• optimize SMT queries
• More useful trace output for unknown calls
• Default to on chain values for coinbase, timestamp, difficulty, blocknumber when rpc is provided
• Perform tx initialization (gas payment, value transfer) in hevm exec, hevm symbolic and hevm dapp-test.

Added

• TTY commands P and c-p for taking larger steps backwards in the debuger.
• --cache flag for dapp-test, exec, symbolic, interactive,
  enabling caching of contracts received by rpc.
• load(address,bytes32) cheat code allowing storage reads from arbitrary contracts.

dapp 0.30.0 - 2020-10-31

Added

• Support for solc 0.6.8
• Support for setting solc by path. Use DAPP_SOLC=/path/to/bin or
  dapp --use /path/to/solc ... to use a custom solc.
• dapp test --cache for RPC caching, via hevm.