Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ethereum/hevm issues and pull requests

#564 - EVM: respect vm.prank during calls to create

Pull Request - State: open - Opened by d-xo 2 days ago

#563 - Ideas to investigate

Issue - State: open - Opened by blishko 3 days ago

#562 - Small (hopefully) optimizations in SMT encoding

Pull Request - State: closed - Opened by blishko 3 days ago

#561 - Test failure in buffer-simplification

Issue - State: open - Opened by blishko 3 days ago
Labels: bug

#560 - SymExec: fix data race for concurrent exploration

Pull Request - State: open - Opened by d-xo 4 days ago - 2 comments

#559 - Start a document for developers

Pull Request - State: open - Opened by blishko 4 days ago - 5 comments

#558 - Respect request to run fewer quickcheck tests

Pull Request - State: closed - Opened by blishko 5 days ago - 1 comment

#557 - Remove debugging leftover from showTrace

Pull Request - State: closed - Opened by arcz 5 days ago

#556 - Sometimes, a single, simple test will fail under multi-threaded test running

Issue - State: open - Opened by msooseth 6 days ago - 2 comments
Labels: bug

#555 - Trying to fix multi-threaded test running

Pull Request - State: open - Opened by msooseth 6 days ago - 1 comment

#554 - Less crazy long ABI fuzz types

Pull Request - State: closed - Opened by msooseth 6 days ago - 3 comments

#553 - Investigate possible nondeterminism in our test suite

Issue - State: open - Opened by blishko 10 days ago - 6 comments
Labels: enhancement

#552 - Investigate possible ways to make our test suite run faster

Issue - State: open - Opened by blishko 10 days ago - 3 comments

#550 - Enforce that LHS are constants for commutative operations

Pull Request - State: closed - Opened by msooseth 17 days ago

#549 - Collision in address is "possible" as per hevm, even though it's not

Issue - State: open - Opened by zoep 17 days ago - 1 comment
Labels: bug

#548 - Bump nixpkgs and ethereum tests, use cabal-install from nix

Pull Request - State: closed - Opened by arcz 18 days ago - 5 comments

#547 - Sorry, I messed up the partial warning PR, this is a fix for that

Pull Request - State: closed - Opened by msooseth 24 days ago - 2 comments

#546 - Do not simplify equality immediately on construction

Pull Request - State: closed - Opened by blishko 25 days ago - 1 comment

#545 - Use simplifying constructor for PEq

Pull Request - State: closed - Opened by blishko 26 days ago - 2 comments

#544 - Add tests for detecting unsatisfiability

Pull Request - State: closed - Opened by blishko 26 days ago

#542 - Debug flag should dump internal expressions

Pull Request - State: closed - Opened by msooseth 26 days ago

#541 - More simplifications for SMod, Mod, Div and SDiv

Pull Request - State: closed - Opened by msooseth 27 days ago

#540 - Adding retro funding JSON needed for Optimism Funding

Pull Request - State: closed - Opened by msooseth 27 days ago - 1 comment

#539 - Better symbolic tutorial

Pull Request - State: closed - Opened by msooseth 27 days ago

#538 - Remove duplicate test

Pull Request - State: closed - Opened by blishko 27 days ago - 2 comments

#537 - Refactor simplifications for bitwise AND and OR

Pull Request - State: closed - Opened by blishko 28 days ago - 1 comment

#536 - VMOpts: add option for freshAddresses initialization

Pull Request - State: closed - Opened by zoep 29 days ago

#535 - Better printing of symbolic results

Pull Request - State: closed - Opened by msooseth about 1 month ago - 3 comments

#534 - Display `SymAddr "caller"` in `formatCex` function when call `hevm --get-models`

Issue - State: closed - Opened by ethever about 1 month ago - 7 comments
Labels: in progress

#532 - Rename method to better reflect its functionality and add tests

Pull Request - State: closed - Opened by blishko about 1 month ago

#531 - Constant propagation is not working

Issue - State: closed - Opened by msooseth about 1 month ago - 1 comment
Labels: enhancement

#530 - Tiny simplification of constFoldProp

Pull Request - State: closed - Opened by blishko about 1 month ago - 1 comment

#529 - TSTORE/TLOAD + MCOPY + updated SelfDestruct

Pull Request - State: closed - Opened by msooseth about 1 month ago - 2 comments

#528 - Confusion about "Latest" BlockNumber when Symbolic executing a contract

Issue - State: open - Opened by ethever about 1 month ago - 3 comments
Labels: question

#527 - Missing User Acceptance Tests

Issue - State: open - Opened by msooseth about 1 month ago
Labels: enhancement

#526 - Respect `--caller` option in `symbolic` mode

Pull Request - State: closed - Opened by msooseth about 1 month ago - 1 comment

#525 - Print OpCode on partial exec failure

Pull Request - State: closed - Opened by msooseth about 1 month ago

#524 - Unexpected Symbolic Arguments to Opcode (SymAddr "caller")

Issue - State: closed - Opened by ethever about 1 month ago - 4 comments
Labels: bug

#523 - Partial Concrete Storage for symbolic execution

Issue - State: open - Opened by ethever about 1 month ago - 2 comments
Labels: enhancement

#522 - SymExec: symbolic abi encoding for tuples (+ fuzzing)

Pull Request - State: closed - Opened by msooseth about 2 months ago - 1 comment

#521 - Adding limitations and workaround page to documentation

Pull Request - State: closed - Opened by msooseth about 2 months ago

#520 - [DRAFT] Changing default --max-iterations to 5. NOTE: 5 is not enough... WAT

Pull Request - State: open - Opened by msooseth about 2 months ago - 2 comments

#519 - ci: windows: pin Foundry version

Pull Request - State: closed - Opened by elopez about 2 months ago

#519 - ci: windows: pin Foundry version

Pull Request - State: closed - Opened by elopez about 2 months ago

#518 - using -Wunused-packages to eliminate unused deps

Pull Request - State: closed - Opened by hellwolf about 2 months ago - 2 comments

#517 - More debug printing of calldata

Pull Request - State: closed - Opened by msooseth about 2 months ago

#517 - More debug printing of calldata

Pull Request - State: closed - Opened by msooseth about 2 months ago

#516 - Failed to run ["cabal","v2-repl","lib:hevm"] in directory "/root/projects/hevm".

Issue - State: closed - Opened by ethever about 2 months ago - 1 comment

#516 - Failed to run ["cabal","v2-repl","lib:hevm"] in directory "/root/projects/hevm".

Issue - State: closed - Opened by ethever about 2 months ago - 1 comment

#515 - Fixing fetching RPC

Pull Request - State: open - Opened by msooseth about 2 months ago

#515 - Fixing fetching RPC

Pull Request - State: open - Opened by msooseth about 2 months ago

#514 - Re-enable dapp tests on Windows

Pull Request - State: closed - Opened by elopez about 2 months ago - 1 comment

#514 - Re-enable dapp tests on Windows

Pull Request - State: closed - Opened by elopez about 2 months ago - 1 comment

#513 - Fuzzer Bug in CopySlice Equiv

Issue - State: closed - Opened by d-xo about 2 months ago - 1 comment

#513 - Fuzzer Bug in CopySlice Equiv

Issue - State: closed - Opened by d-xo about 2 months ago - 1 comment

#512 - flake: fix redistributable binary rewriting

Pull Request - State: closed - Opened by elopez about 2 months ago - 2 comments

#512 - flake: fix redistributable binary rewriting

Pull Request - State: closed - Opened by elopez about 2 months ago - 2 comments

#511 - Fixing docs, adding symbolic execution tutorial

Pull Request - State: closed - Opened by msooseth 2 months ago

#511 - Fixing docs, adding symbolic execution tutorial

Pull Request - State: closed - Opened by msooseth 2 months ago

#510 - Update `forge` to more recent version

Pull Request - State: closed - Opened by msooseth 2 months ago - 1 comment

#510 - Update `forge` to more recent version

Pull Request - State: closed - Opened by msooseth 2 months ago - 1 comment

#509 - cli: fix --initial-storage option for hevm symbolic

Pull Request - State: closed - Opened by d-xo 2 months ago - 1 comment

#509 - cli: fix --initial-storage option for hevm symbolic

Pull Request - State: closed - Opened by d-xo 2 months ago - 1 comment

#508 - More Prop simplifications

Pull Request - State: closed - Opened by msooseth 2 months ago

#508 - More Prop simplifications

Pull Request - State: closed - Opened by msooseth 2 months ago

#507 - GHC 9.6 v4 try, with CVC5 this time around.

Pull Request - State: closed - Opened by msooseth 2 months ago - 4 comments

#507 - GHC 9.6 v4 try, with CVC5 this time around.

Pull Request - State: closed - Opened by msooseth 2 months ago - 4 comments

#506 - Infinite loop with nested arrays

Issue - State: open - Opened by msooseth 2 months ago - 1 comment
Labels: bug

#506 - Infinite loop with nested arrays

Issue - State: open - Opened by msooseth 2 months ago - 1 comment
Labels: bug

#505 - Use matrix for release configuration

Pull Request - State: closed - Opened by blishko 2 months ago - 1 comment

#505 - Use matrix for release configuration

Pull Request - State: closed - Opened by blishko 2 months ago - 1 comment

#504 - Adding MacOS-ARM64 release build

Pull Request - State: closed - Opened by msooseth 2 months ago - 4 comments

#504 - Adding MacOS-ARM64 release build

Pull Request - State: closed - Opened by msooseth 2 months ago - 4 comments

#503 - [DRAFT] Better cheatcode error texts

Pull Request - State: open - Opened by msooseth 2 months ago - 1 comment

#502 - Fuzzer bug in `readWord-equivalence`

Issue - State: closed - Opened by d-xo 2 months ago - 1 comment
Labels: bug

#502 - Fuzzer bug in `readWord-equivalence`

Issue - State: closed - Opened by d-xo 2 months ago - 1 comment
Labels: bug

#501 - Enable testing on Windows

Pull Request - State: closed - Opened by elopez 2 months ago - 5 comments

#501 - Enable testing on Windows

Pull Request - State: closed - Opened by elopez 2 months ago - 5 comments

#500 - Initial support for TSTORE and TLOAD opcodes

Pull Request - State: closed - Opened by samalws-tob 2 months ago - 6 comments

#499 - Update to GHC 9.6

Pull Request - State: closed - Opened by blishko 3 months ago - 4 comments

#499 - Update to GHC 9.6

Pull Request - State: closed - Opened by blishko 3 months ago - 4 comments

#498 - Upgrade solc to 0.8.24

Pull Request - State: closed - Opened by blishko 3 months ago

#498 - Upgrade solc to 0.8.24

Pull Request - State: closed - Opened by blishko 3 months ago

#497 - Improve known cheat code errors

Issue - State: open - Opened by arcz 3 months ago - 2 comments
Labels: blocked

#496 - Move trace printing to prettyprinter

Issue - State: open - Opened by arcz 3 months ago
Labels: enhancement, good first issue

#496 - Move trace printing to prettyprinter

Issue - State: open - Opened by arcz 3 months ago
Labels: enhancement, good first issue

#495 - Added `startPrank()` and `stopPrank()` cheatcodes to hevm.

Pull Request - State: closed - Opened by alecmaly 4 months ago

#495 - Added `startPrank()` and `stopPrank()` cheatcodes to hevm.

Pull Request - State: closed - Opened by alecmaly 4 months ago

#494 - ethjet: convert blake2 precompile to C

Pull Request - State: closed - Opened by elopez 5 months ago

#494 - ethjet: convert blake2 precompile to C

Pull Request - State: closed - Opened by elopez 5 months ago

#493 - symAbiArg cannot handle tuples

Issue - State: closed - Opened by ggrieco-tob 5 months ago - 3 comments

#492 - Error `TODO: implement copySlice with a symbolically sized region` reached by Echidna

Issue - State: open - Opened by rappie 5 months ago - 2 comments
Labels: blocked

#491 - Error: unable to parse: .../out/Base.sol/CommonBase.json

Issue - State: closed - Opened by iirekm 5 months ago - 6 comments

#491 - Error: unable to parse: .../out/Base.sol/CommonBase.json

Issue - State: closed - Opened by iirekm 5 months ago - 6 comments

#489 - Use let expression in copySlice to decrease expression size

Pull Request - State: closed - Opened by samalws-tob 5 months ago - 5 comments