issues
search
dapphub
/
dapptools
Dapp, Seth, Hevm, and more
https://dapp.tools
2.1k
stars
325
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Where can I report a security vulnerability?
#993
itsunixiknowthis2
opened
2 months ago
2
Getting `Internal Error` For Different Commands When Trying To Execute Symbolic On Live Contracts
#989
caiosabarros
opened
7 months ago
0
fix solc-static on macos
#988
yihuang
opened
1 year ago
0
♻ Add support for Solidity version `0.8.21`
#987
pcaversaccio
closed
1 year ago
3
No support for aarch64 darwin via flakes
#986
sambacha
opened
1 year ago
0
♻ ️ Add support for Solidity version `0.8.20`
#984
pcaversaccio
closed
1 year ago
0
ethsign: update deps
#983
asymmetric
opened
1 year ago
0
ci: upgrade nix-install-action
#982
asymmetric
closed
1 year ago
0
Insufficient funds for gas * price + value
#981
bitcoinmeetups
opened
1 year ago
4
Is it possible to deploy a bin file directly and easily with dapptools?
#980
bitcoinmeetups
opened
1 year ago
0
tests: integration: disable 4byte due to flakiness
#979
asymmetric
closed
1 year ago
0
build(deps): bump golang.org/x/crypto from 0.0.0-20210322153248-0c34fe9e7dc2 to 0.1.0 in /src/ethsign
#978
dependabot[bot]
opened
1 year ago
0
Fix `dapp---use` and `solc---use` for flakes
#977
asymmetric
opened
1 year ago
5
envrc: init
#976
asymmetric
closed
1 year ago
0
`flake`: fix caching config
#975
asymmetric
closed
1 year ago
0
♻️ add solc `0.8.19` support
#974
pcaversaccio
closed
1 year ago
0
flake: expose solc static versions
#973
d-xo
closed
1 year ago
7
📚 Fix typo in README example
#972
coccoinomane
closed
1 year ago
1
Can not install dapp by nix on mac
#971
Skyge
closed
1 year ago
1
build(deps): bump github.com/aws/aws-sdk-go from 1.25.48 to 1.34.0 in /src/ethsign
#970
dependabot[bot]
opened
1 year ago
0
♻️ add solc `0.8.18` support
#969
pcaversaccio
closed
1 year ago
11
Use ethereum hevm
#968
d-xo
opened
1 year ago
0
Flake
#967
asymmetric
closed
1 year ago
0
Incorrect logs emitted when downcasting to `bytes2` or `bytes1`
#966
ChmielewskiKamil
closed
1 year ago
1
Dapptools on Raspberry Pi 4
#965
bitcoinmeetups
opened
1 year ago
0
ethsign import error
#964
AronJeames
closed
2 years ago
1
seth-rpc: send the RPC request to stderr if SETH_VERBOSE
#963
livnev
opened
2 years ago
0
Slow symbolic execution of the first example for `PrimalityCheck`
#961
enzeve
closed
2 years ago
1
🖖 add solc `0.8.16` & `0.8.17` and keep dapptools up-to-date
#960
pcaversaccio
closed
2 years ago
1
Adds Nix flake
#959
macalinao
closed
1 year ago
2
Update README.md
#958
ghost
closed
2 years ago
0
Some simplifier rules
#957
msooseth
closed
2 years ago
0
New simplifier rules
#956
msooseth
closed
2 years ago
0
Fixing a bit of PLEq/PGEq/etc.
#955
msooseth
closed
2 years ago
0
Minimal bug-exhibiting contract
#954
msooseth
closed
1 year ago
0
More rewrite rules
#953
msooseth
closed
2 years ago
0
🖖 add solc `0.8.16` and keep dapptools up-to-date
#952
pcaversaccio
closed
2 years ago
4
stuck installing "EVM.FeeSchedule" on OSX at 100% CPU
#951
msmyers
closed
1 year ago
3
expand architecture docs
#950
d-xo
closed
2 years ago
0
error: Please run this script as a regular user when installing in an Image via Dockerfile
#949
ssghost
opened
2 years ago
0
hevm: fix prove tests for latest ds-test
#948
d-xo
closed
2 years ago
0
Seth default to dynamic fee transaction
#947
geronimogoemon
closed
2 years ago
0
Symexec tutorial
#946
d-xo
closed
2 years ago
0
🖖 add solc 0.8.15 and keep dapptools up-to-date
#945
pcaversaccio
closed
2 years ago
0
Octo-dapp
#944
lokera666
closed
2 years ago
0
Add support for compilation via Yul IR
#943
CodeSandwich
closed
2 years ago
4
Update README.md
#942
moodmosaic
closed
2 years ago
0
build(deps): bump github.com/ethereum/go-ethereum from 1.10.6 to 1.10.17 in /src/ethsign
#941
dependabot[bot]
opened
2 years ago
0
hevm: XXXX: openBinaryFile: does not exist (No such file or directory)
#940
nicocesar
opened
2 years ago
0
🖖 add solc 0.8.14 and keep dapptools up-to-date
#939
pcaversaccio
closed
2 years ago
3
Next