Comments (5)
@cmditch I use nix-env -f $HOME/src/dapptools -iA dapp hevm
to build from my local
from dapptools.
There seems to be a general issue with nesting factories within factories, regardless of using a proxy. Will work on a code example for this.
from dapptools.
Can you try with latest master? There was a nonce issue #70 which was fixed and may be related.
from dapptools.
Thanks @rainbreak , very curious to give it another try.
Any tips on building? All I have available atm is a macbook. stack build
is throwing dependency errors.
Error: While constructing the build plan, the following exceptions were encountered:
In the dependencies for hevm-0.18:
brick-0.17.2 from stack configuration does not match >=0.18 (latest matching version is 0.40)
megaparsec-5.2.0 from stack configuration does not match >=6.0 (latest matching version is 6.5.0)
restless-git must match >=0.7, but the stack configuration has no specified version (no package with that name found, perhaps there is a typo in
a package's build-depends or an omission from the stack.yaml packages list?)
rosezipper must match >=0.2, but the stack configuration has no specified version (latest matching version is 0.2)
s-cargot must match >=0.1, but the stack configuration has no specified version (latest matching version is 0.1.4.0)
time-1.6.0.1 from stack configuration does not match >=1.8 (latest matching version is 1.9.2)
tree-view must match ==0.5, but the stack configuration has no specified version (latest matching version is 0.5)
Edit - Just found out how to update to the latest from perusing the chat: dapp pkg install dapp hevm
Would still be nice to know how to build from source, to make it easier to contribute on issues where possible. Cheers
from dapptools.
Tests confirmed passing on hevm-0.18 now, thanks!
Using proxies, able to bring gas costs down from 3.3 to 0.2 million.
from dapptools.
Related Issues (20)
- License seems very ambiguous. HOT 1
- hevm VMFailure when following dapp tutorial symbolic execution HOT 5
- seth output error HOT 5
- Ledger -- ethsign: failed to sign tx HOT 1
- contract not found HOT 1
- hevm: XXXX: openBinaryFile: does not exist (No such file or directory)
- Octo-dapp
- error: Please run this script as a regular user when installing in an Image via Dockerfile
- stuck installing "EVM.FeeSchedule" on OSX at 100% CPU HOT 3
- Slow symbolic execution of the first example for `PrimalityCheck` HOT 1
- ethsign import error HOT 1
- Dapptools on Raspberry Pi 4
- Incorrect logs emitted when downcasting to `bytes2` or `bytes1` HOT 1
- Can not install dapp by nix on mac HOT 1
- Is it possible to deploy a bin file directly and easily with dapptools?
- Insufficient funds for gas * price + value HOT 4
- No support for aarch64 darwin via flakes
- Getting `Internal Error` For Different Commands When Trying To Execute Symbolic On Live Contracts
- tool
- release
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from dapptools.