Bot releases are visible (Hide)
seth --to-wei
by @endophysics in https://github.com/dapphub/dapptools/pull/782
seth --to-wei
" by @d-xo in https://github.com/dapphub/dapptools/pull/791
--from-fix
command by @mds1 in https://github.com/dapphub/dapptools/pull/787
run-tx
bundles source by default by @d-xo in https://github.com/dapphub/dapptools/pull/808
dapp uninstall <lib>
by @TimDaub in https://github.com/dapphub/dapptools/pull/837
Full Changelog: https://github.com/dapphub/dapptools/compare/seth/0.11.0...hevm/0.49.0
Published by github-actions[bot] about 3 years ago
seth basefee
command returns basefee for the latest block, or any block with [blocknumber]
parameterseth namehash <name>
to get the ENS namehash of a nameseth resolve-name <name>
to resolve an ENS name to an addressseth lookup-address <address>
to lookup the ENS name an address reverse resolves to--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.ETH_RPC_ACCOUNTS
is set and the account corresponding to ETH_FROM
exists in the keystore,--gas-price
will be used as max-fee
when --prio-fee
is setETH_KEYSTORE
environment variable.--use
bugseth 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 gasPublished by github-actions[bot] about 3 years ago
DAPP_TEST_DEPTH
env var to control --depth
--coverage
flag for dapp test
to generate coverage via hevmdapp debug
respects the DAPP_LINK_TEST_LIBRARIES
environment variable.dapp install
accepts URLs with git tags, branches or revs specified as <url>@<tag>
dapp replay
Published by github-actions[bot] about 3 years ago
Published by github-actions[bot] about 3 years ago
--keystore
argument to ethsign import
no longer mandatory, defaulting toETH_KEYSTORE
environment variable.ethsign import --keystore
was changed to ethsign import --key-store
for consistencyPublished by github-actions[bot] about 3 years ago
DAPP_TEST_BALANCE_CREATE
has been renamed to DAPP_TEST_BALANCE
smttimeout
has been increased to 1 minute.--ask-smt-iterations
) that controls the number of iterationsPublished by github-actions[bot] over 3 years ago
dapp test
, --ffi
allows users to enable the ffi()
cheatcode in their testsnixpkgs
to the 21.05
channelPublished by github-actions[bot] over 3 years ago
hevm symbolic
can search for solc 0.8 style assertion violations, and a new --assertions
flagffi(string[])
that executes an arbitrary command in the system shell21.05
channelimmutable
are now shown in the debug view.Published by github-actions[bot] over 3 years ago
Published by github-actions[bot] over 3 years ago
644967e345bbc6642fab613e1b1737abbe131f78
.Published by github-actions[bot] over 3 years ago
sign(uint sk, bytes message)
and addr(uint sk)
. Taken togetherhevm flatten
combines the SPDX license identifiers of all source files.nixpkgs
to the 20.09
channelnixpkgs
to the 20.09
channelETH_HDPATH
.nixpkgs
to the 20.09
channelseth calldata
returns correct abiencodingPublished by github-actions[bot] over 3 years ago
Published by github-actions[bot] over 3 years ago
dapp init
works with the new standard-json architecturedapp verify-contract
works with the new standard-json architecturePublished by github-actions[bot] over 3 years ago
hevm
now accepts solidity json output built via --standard-json
as--combined-json
.ContractName@0x...
@0x...
otherwise.--address
flag is present in hevm exec
or hevm symbolic
,8.9.5
to fix "non-const in array declaration" cvc4 issue with ds-test.dapp build
, dapp test
, dapp --make-library-state
, dapp create
now use solidity output--standard-json
instead of --combined-json
. Building via the old format isdapp build --legacy
, but is considered deprecated and will be removed inThe 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 bedapp mk-standard-json
command to generate a standard json for setting Solidity compiler options.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)SOLC_FLAGS
. To modify the compiler settings, use a custom standard json and setDAPP_STANDARD_JSON
.dapp create <contract> --verify
now passes the qualified path to dapp verify-contract
,seth combined-json
was renamed to seth-solc
and invokes solc
--standard-json
input.seth bundle-source
correctly interprets etherscan sources using--gas-price
argument can optionally accept a gwei
suffixseth call --gas-price 100gwei ...
Published by github-actions[bot] almost 4 years ago
Published by github-actions[bot] almost 4 years ago
Published by github-actions[bot] almost 4 years ago
seth --use
can find solc versions in the nix store even if they are not present on PATH
seth --use
Published by github-actions[bot] almost 4 years ago
dapp --use
can find solc versions in the nix store even if they are not present on PATH
Published by github-actions[bot] almost 4 years ago
seth --use
searches directly for binaries in your path, rather thannix run
, giving a significant speed boost.Published by github-actions[bot] almost 4 years ago
--show-tree
option to hevm symbolic
which prints the execution tree explored.<symbolic>
.hevm dapp-test
now supports symbolic execution of test methods that are prefixed with prove
or proveFail
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 namedapp-test
trace output now detects ds-note events and shows LogNote
@<address>
in the traceDSTest.setUp()
is only run if it exists, rather than failinglog_named_x(string, x)
(previously bytes32 keys)