What's Changed

• Release by @d-xo in https://github.com/dapphub/dapptools/pull/780
• dapp: Minor comment fix by @transmissions11 in https://github.com/dapphub/dapptools/pull/779
• seth: add Optimistic Ethereum and Arbitrum Support by @rajivpo in https://github.com/dapphub/dapptools/pull/781
• github: add pr template by @d-xo in https://github.com/dapphub/dapptools/pull/784
• use eth instead of wei as default for seth --to-wei by @endophysics in https://github.com/dapphub/dapptools/pull/782
• seth: add function selector and calldata encoding/decoding helpers by @mds1 in https://github.com/dapphub/dapptools/pull/757
• dapp: Ignore non-directories in dapp-remappings by @transmissions11 in https://github.com/dapphub/dapptools/pull/778
• Revert "use eth instead of wei as default for seth --to-wei" by @d-xo in https://github.com/dapphub/dapptools/pull/791
• seth (docs): fix lookup-address docs by @mds1 in https://github.com/dapphub/dapptools/pull/792
• hevm: skip unit test contracts with no code by @d-xo in https://github.com/dapphub/dapptools/pull/785
• hevm: no whitespace in invariant replay data by @d-xo in https://github.com/dapphub/dapptools/pull/786
• Add example to dapp verify-contract by @odyslam in https://github.com/dapphub/dapptools/pull/798
• seth: non checksum addresses supported in ETH_FROM by @d-xo in https://github.com/dapphub/dapptools/pull/796
• Add --from-fix command by @mds1 in https://github.com/dapphub/dapptools/pull/787
• fix create with 1559 bug by @MrChico in https://github.com/dapphub/dapptools/pull/799
• seth: Use raw jq output in 4byte by @transmissions11 in https://github.com/dapphub/dapptools/pull/788
• dapp: fix library linking on solc 0.7+ by @d-xo in https://github.com/dapphub/dapptools/pull/804
• dapp-tests: use bash_unit as a test runner by @d-xo in https://github.com/dapphub/dapptools/pull/797
• seth: Docs fix by @transmissions11 in https://github.com/dapphub/dapptools/pull/811
• clearer output for the invalid opcode by @d-xo in https://github.com/dapphub/dapptools/pull/814
• dapp: build: strip escape chars and colorize output by @d-xo in https://github.com/dapphub/dapptools/pull/805
• run-tx bundles source by default by @d-xo in https://github.com/dapphub/dapptools/pull/808
• Fix example in Readme by @julianmrodri in https://github.com/dapphub/dapptools/pull/831
• seth: debug: fix by @d-xo in https://github.com/dapphub/dapptools/pull/812
• hevm: nicer error message when trying to deploy unlinked bytecode by @d-xo in https://github.com/dapphub/dapptools/pull/816
• hevm/dapp: solc 0.8.9/0.8.8 support by @transmissions11 in https://github.com/dapphub/dapptools/pull/827
• hevm: Normalize changelog by @transmissions11 in https://github.com/dapphub/dapptools/pull/835
• Document dapp uninstall <lib> by @TimDaub in https://github.com/dapphub/dapptools/pull/837
• Add Polygon Support by @ncitron in https://github.com/dapphub/dapptools/pull/853
• add event parameter name by @MrChico in https://github.com/dapphub/dapptools/pull/848
• Cachixbump by @MrChico in https://github.com/dapphub/dapptools/pull/856
• dapp: Gas snapshotting by @transmissions11 in https://github.com/dapphub/dapptools/pull/850
• hevm/dapp: solc 0.8.10 support by @cleanunicorn in https://github.com/dapphub/dapptools/pull/857
• seth: update optimism genesis blockhashes by @tynes in https://github.com/dapphub/dapptools/pull/862
• Fix seth sig by @d-xo in https://github.com/dapphub/dapptools/pull/818
• Release candidate by @jennypollack in https://github.com/dapphub/dapptools/pull/860
• cachixbump release.yml by @jennypollack in https://github.com/dapphub/dapptools/pull/865

New Contributors

• @rajivpo made their first contribution in https://github.com/dapphub/dapptools/pull/781
• @endophysics made their first contribution in https://github.com/dapphub/dapptools/pull/782
• @odyslam made their first contribution in https://github.com/dapphub/dapptools/pull/798
• @julianmrodri made their first contribution in https://github.com/dapphub/dapptools/pull/831
• @TimDaub made their first contribution in https://github.com/dapphub/dapptools/pull/837
• @ncitron made their first contribution in https://github.com/dapphub/dapptools/pull/853
• @cleanunicorn made their first contribution in https://github.com/dapphub/dapptools/pull/857
• @tynes made their first contribution in https://github.com/dapphub/dapptools/pull/862

Full Changelog: https://github.com/dapphub/dapptools/compare/seth/0.11.0...hevm/0.49.0

Added

• seth basefee command returns basefee for the latest block, or any block with [blocknumber] parameter
• seth namehash <name> to get the ENS namehash of a name
• seth resolve-name <name> to resolve an ENS name to an address
• seth lookup-address <address> to lookup the ENS name an address reverse resolves to
• Dynamic transaction fee format transactions (EIP-1559) supported by introducing the flag --prio-fee and corresponding environment variable ETH_PRIO_FEE to seth and ethsign. If --prio-fee is provided (or ETH_PRIO_FEE) is set, 1559 transaction will be used and --gas-price will reflect the maximum gas price, rather than the absolute gas price.
• If ETH_RPC_ACCOUNTS is set and the account corresponding to ETH_FROM exists in the keystore,
  Seth will sign the transaction locally and then publish it signed (previously it'd always send it to the node)

Changed

• --gas-price will be used as max-fee when --prio-fee is set
• [BREAKING] seth will no longer search Parity / OpenEthereum related keystores by default. These
  keystores can still be searched by setting the ETH_KEYSTORE environment variable.

Fixed

• Fix --use bug
• seth bundle-source writes the contents of standard-json to the current directory to enable better sourcemaps for multi-file etherscan source code.
• seth estimate no longer sets a gas limit when estimating gas

Added

• DAPP_TEST_DEPTH env var to control --depth
• --coverage flag for dapp test to generate coverage via hevm
• dapp debug respects the DAPP_LINK_TEST_LIBRARIES environment variable.
• dapp install accepts URLs with git tags, branches or revs specified as <url>@<tag>

Changed

• Dapp debug respects DAPP_LINK_TEST_LIBRARIES

Fixed

• Fix quotation bug in dapp replay

Added

• Support for 0.8.4 custom error types in stack traces
• Colored coverage output

Changed

• Contract feching happens synchronously again.
• Invariants checked before calling methods from targetContracts.

Fixed

• The block gas limit and basefee are now correctly fetched when running tests via rpc

Changed

• Makes --keystore argument to ethsign import no longer mandatory, defaulting to
  systems paths or to the value of the ETH_KEYSTORE environment variable.
• ethsign import --keystore was changed to ethsign import --key-store for consistency
  with other commands.
• [BREAKING] removes Parity / OpenEthereum related default keystores

Changed

• Updated to London hard fork!
• The configuration variable DAPP_TEST_BALANCE_CREATE has been renamed to DAPP_TEST_BALANCE
• Default smttimeout has been increased to 1 minute.
• A new flag has been added to hevm (--ask-smt-iterations) that controls the number of iterations
  at which the symbolic execution engine will stop eager evaluation and begin to query the smt
  solver whether a given branch is reachable or not.
• Contract fetching now happens asynchronously.
• Fixed no contract definition crashes
• Removed NoSuchContract failures

Added

• A new type of test has been added: invariant testing, which runs a test function against a random
  reachable contract state. More information in the README
• A new flag for dapp test, --ffi allows users to enable the ffi() cheatcode in their tests

Changed

• solc 0.8.6 is now the default compiler version
• updated nixpkgs to the 21.05 channel

Added

• A new test runner for checking invariants against random reachable contract states.
• hevm symbolic can search for solc 0.8 style assertion violations, and a new --assertions flag
  has been added allowing users to customize which assertions should be reported
• A new cheatcode ffi(string[]) that executes an arbitrary command in the system shell

Changed

• Z3 is once again the default smt solver
• Updated nixpkgs to the 21.05 channel

Fixed

• Sourcemaps for contracts containing immutable are now shown in the debug view.

Added

• Updated to Berlin! Conformant with GeneralStateTests at commit hash 644967e345bbc6642fab613e1b1737abbe131f78.

Fixed

• ADDMOD and MULMOD by zero yields zero.
• Address calculation for newly created contracts.
• Accomodated for the notorious "anomolies on the main network" (see yellow paper Appendix K for trivia)
• A hevm crash when debugging a SELFDESTRUCT contract.

hevm [0.45.0]

Added

• Two new cheatcodes were added: sign(uint sk, bytes message) and addr(uint sk). Taken together
  these should allow for much more ergonomic testing of code that handles signed messages.
• Symbolic execution can deal with partially symbolic bytecode, allowing for symbolic constructor arguments to be given in tests.

Fixed

• Fixed a bug in the abiencoding.
• Fixed the range being generated by ints.
• hevm flatten combines the SPDX license identifiers of all source files.

Changed

• updated nixpkgs to the 20.09 channel
• Arbitrary instance of AbiType can no longer generate a tuple

dapp [0.32.2]

Changed

• updated nixpkgs to the 20.09 channel

seth [0.10.1]

Added

• Thanks to an upgrade in ethsign, seth is more likely to find your ledger live
  account without having to set ETH_HDPATH.

Changed

• updated nixpkgs to the 20.09 channel

Fixed

• seth calldata returns correct abiencoding

Changed

• hevm cheatcodes now accept symbolic arguments, allowing e.g. symbolic jumps in time in unit tests
• More efficient arithmetic overflow checks by translating queries to a more intelligent form.

dapp 0.32.1

Fixed

• dapp init works with the new standard-json architecture
• dapp verify-contract works with the new standard-json architecture

hevm 0.44.1

Changed

• hevm cheatcodes now accept symbolic arguments, allowing e.g. symbolic jumps in time in unit tests
• More efficient arithmetic overflow checks by translating queries to a more intelligent form.

hevm

0.44.0 - 2020-01-26

Added

• hevm now accepts solidity json output built via --standard-json as
  well as --combined-json.
• addresses in the trace output are prefixed with ContractName@0x...
  if there is a corresponding contract and @0x... otherwise.

Fixed

• If the --address flag is present in hevm exec or hevm symbolic,
  it overrides the contract address at which a contract will be created.
• Address pretty printing
• Updated sbv to 8.9.5 to fix "non-const in array declaration" cvc4 issue with ds-test.

dapp

[0.32.0] - 2021-01-26

Changed

• dapp build, dapp test, dapp --make-library-state, dapp create now use solidity output
  generated via --standard-json instead of --combined-json. Building via the old format is
  still possible via dapp build --legacy, but is considered deprecated and will be removed in
  future releases.

The standard json used by dapp build can be set using the environment variable:
DAPP_STANDARD_JSON, and defaults to the result of dapp mk-standard-json.

• dapp --find-libraries no longer requires --extract: libraries do not need to be
  built to be found.

Added

• dapp mk-standard-json command to generate a standard json for setting Solidity compiler options.
  The settings can be tweaked using the following environment variables:
  • DAPP_REMAPPINGS (defaults to the result of dapp remappings)
  • DAPP_LIBRARIES (defaults to the result of dapp --find-libraries)
  • DAPP_BUILD_OPTIMIZE (defaults to false)

Removed

• SOLC_FLAGS. To modify the compiler settings, use a custom standard json and set
  the filename as argument to DAPP_STANDARD_JSON.

Fixed

• dapp create <contract> --verify now passes the qualified path to dapp verify-contract,
  as expected.

seth

[0.10.0] - 2021-01-26

Changed

• seth combined-json was renamed to seth-solc and invokes solc
  using the --standard-json input.
• seth bundle-source correctly interprets etherscan sources using
  standard json
• the --gas-price argument can optionally accept a gwei suffix
  i.e. seth call --gas-price 100gwei ...

0.43.2 - 2020-12-10

Changed

• The default smttimeout has been increased from 20s to 30s

0.43.1 - 2020-12-10

Changed

• Counterexamples from symbolic tests now show clearer failure reasons

Fixed

• Symbolic tests now work with RPC
• Branch selection is working again in the interactive debugger

[0.9.4] - 2020-12-10

Added

• seth --use can find solc versions in the nix store even if they are not present on PATH

Fixed

• Correct help text for seth --use

[0.31.1] - 2020-12-10

Added

• dapp --use can find solc versions in the nix store even if they are not present on PATH

Fixed

• Corrected help text for solc version installation

[0.9.3] - 2020-11-29

• seth --use searches directly for binaries in your path, rather than
  using nix run, giving a significant speed boost.

0.43.0 - 2020-11-29

Added

• A --show-tree option to hevm symbolic which prints the execution tree explored.
• Some symbolic terms are displayed with richer semantic information, instead of the black box <symbolic>.
• hevm dapp-test now supports symbolic execution of test methods that are prefixed with prove or proveFail
• The hevm interactive alias has been removed, as it is equivalent to hevm dapp-test --debug
• hevm dapp-test --match now matches on contract name and file path, as well as test name
• Step through the callstack in debug mode using the arrow keys

Changed

• dapp-test trace output now detects ds-note events and shows LogNote
• create addresses are shown with @<address> in the trace
• DSTest.setUp() is only run if it exists, rather than failing
• support new ds-test log_named_x(string, x) (previously bytes32 keys)
• return arguments are fully displayed in the trace (previously only a single word)
• return/revert trace will now show the correct source position