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
#551 - Rename ds-test in our documentation to std-test + explain concrete starting state
Pull Request -
State: open - Opened by msooseth 13 days ago
#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
#543 - [DRAFT] Allow symbolic starting state for "test" (not working correctly)
Pull Request -
State: closed - Opened by msooseth 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
#533 - error: `TODO: symbolic abi encoding for bytes` -- needs `AbiBytesDynamicType` Abi encoding in `symAbiArg`
Issue -
State: open - Opened by ethever about 1 month ago
- 3 comments
#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
#490 - Getting `Internal Error` For Different Commands When Trying To Execute Symbolic On Live Contracts
Issue -
State: open - Opened by caiosabarros 5 months ago
- 5 comments
Labels: bug
#490 - Getting `Internal Error` For Different Commands When Trying To Execute Symbolic On Live Contracts
Issue -
State: open - Opened by caiosabarros 5 months ago
- 5 comments
Labels: bug
#489 - Use let expression in copySlice to decrease expression size
Pull Request -
State: closed - Opened by samalws-tob 5 months ago
- 5 comments