dxo
dxo
The current hevm backend is unfortunately only able to successfully discharge proofs for very trivial contracts (e.g. anything involving checked arithmetic is currently too hard). This is due to some...
The issue is that Act represents numbers using mathemaical integers (i.e. unbounded, no wrapping), whereas hevm uses 256bit bitvectors (i.e. bounded size, wrapping on overflow). When checking equivalence between a...
@mitaki28 Are you still maintaining this project? I saw the last commit was in April?
yes that modifies the binary. We could perhaps precompute the expected hashes on nixos and ship them as part of svm-rs? Or instead of patching the binaries locally, we could...
Using an external nix repo is probably the easiest to implement, but I'm a bit worried about supply chain risk and introducing additional trusted parties between the solidity team and...
After playing around with the systemd unit a bit more, the error seems to trigger when I enable some of the systemd confinement settings (docs [here](https://search.nixos.org/options?show=systemd.services.%3Cname%3E.confinement.enable&query=confinement&from=0&size=30&sort=relevance&channel=unstable#disabled)). Presumably there are some...
-18,000 lines :exploding_head:
I think `test_4byte` is just flakey and can be disabled, it was also failing in this pr: https://github.com/dapphub/dapptools/pull/969
looks like ci is still failing because of: https://github.com/ethereum/hevm/pull/198? this should be fixed in `main`