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

#605 - Start executing the Execution Spec Tests

Issue - State: open - Opened by d-xo 25 days ago
Labels: network upgrades

#604 - Implement retroactive EIPs

Issue - State: open - Opened by d-xo 25 days ago
Labels: network upgrades

#603 - Increasing gas usage metric precision

Issue - State: open - Opened by rappie about 1 month ago - 2 comments

#602 - Fix condition in min-distance keccak axiom

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

#601 - Adding test for issue with keccak distance and word equiv checking

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

#600 - ci: fix publish docs workflow

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

#599 - Flake: cleanup and expose dynamic output

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

#598 - Fuzzer: Generate smaller indices in read expressions

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

#597 - Revert wraparound semantics for reading from buffers

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

#596 - Inconsistent behaviour compared to `evmtool`

Issue - State: closed - Opened by blishko about 1 month ago - 2 comments

#595 - Fix simplification of CopySlice when overflowing into too short buffer

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

#594 - How can i run hevm in vscode?

Issue - State: closed - Opened by ethever about 2 months ago - 9 comments

#593 - Take into account possibly overflowing when reading from buffers

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

#592 - Symbolic calldatacopy error

Issue - State: closed - Opened by msooseth about 2 months ago - 2 comments
Labels: enhancement

#590 - Adding definition of equivalence to our documentation

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

#589 - Preliminary support for multi-threaded Z3

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

#588 - EVM: finalize: fix handling of symbolic returndata

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

#587 - Respect option for timeout in equivalence checking

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

#586 - `hevm equivalence` does not check log equivalence

Issue - State: open - Opened by charles-cooper about 2 months ago - 2 comments
Labels: enhancement

#585 - "runtime code cannot have an abstract length"

Issue - State: closed - Opened by charles-cooper about 2 months ago - 3 comments

#584 - Add `--num-solvers` option to equivalance checking

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

#583 - Improve documentation and error handing for --code-a/--code-b

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

#582 - Fix keccak + sha256 to take 2 params: buf + len

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

#581 - `hevm equivalence` fails due to dynamic jumptable and hence symbolic `JUMP`

Issue - State: open - Opened by charles-cooper about 2 months ago - 7 comments
Labels: enhancement

#580 - More debug printing during test.hs, when required

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

#579 - Various small cleanups

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

#578 - SLoad + SStore + Keccak generates UNSAT expression

Issue - State: closed - Opened by msooseth about 2 months ago - 7 comments
Labels: bug

#577 - Make copyslice of size 0 noop also in buffer length computation

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

#576 - Fix gas accounting in cheatcodes

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

#575 - Zero write append test to showcase bug

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

#574 - Adding SAT & UNSAT check both

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

#573 - Remove buggy specializations of CopySlice simplification

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

#572 - Adding fuzzer for BufLength

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

#571 - Faster fuzz-testing by not having crazy large buffers

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

#570 - Fix bug in SMT encoding of reading multiple consecutive bytes

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

#568 - Implement `setEnv` and `env{Bool,Uint,Int,Address,Bytes32,String,Bytes}`

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

#567 - [DRAFT] Cheatcodes as per new std-forge library

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

#566 - Fixing capitalization of subState

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

#565 - [DRAFT] Preliminary dynamic ABI types

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

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

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

#563 - Ideas to investigate

Issue - State: open - Opened by blishko 2 months ago

#562 - Small (hopefully) optimizations in SMT encoding

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

#561 - Test failure in buffer-simplification

Issue - State: closed - Opened by blishko 2 months ago - 2 comments
Labels: bug

#560 - SymExec: fix data race for concurrent exploration

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

#559 - Start a document for developers

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

#558 - Respect request to run fewer quickcheck tests

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

#557 - Remove debugging leftover from showTrace

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

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

Issue - State: closed - Opened by msooseth 2 months ago - 3 comments
Labels: bug

#555 - Trying to fix multi-threaded test running

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

#554 - Less crazy long ABI fuzz types

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

#553 - Investigate possible nondeterminism in our test suite

Issue - State: closed - Opened by blishko 3 months ago - 7 comments
Labels: enhancement

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

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

#550 - Enforce that LHS are constants for commutative operations

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

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

Issue - State: open - Opened by zoep 3 months ago - 1 comment
Labels: bug

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

Pull Request - State: closed - Opened by arcz 3 months 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 3 months ago - 2 comments

#546 - Do not simplify equality immediately on construction

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

#545 - Use simplifying constructor for PEq

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

#544 - Add tests for detecting unsatisfiability

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

#542 - Debug flag should dump internal expressions

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

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

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

#540 - Adding retro funding JSON needed for Optimism Funding

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

#539 - Better symbolic tutorial

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

#538 - Remove duplicate test

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

#537 - Refactor simplifications for bitwise AND and OR

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

#536 - VMOpts: add option for freshAddresses initialization

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

#535 - Better printing of symbolic results

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

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

Issue - State: closed - Opened by ethever 3 months ago - 7 comments
Labels: in progress

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

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

#531 - Constant propagation is not working

Issue - State: closed - Opened by msooseth 3 months ago - 1 comment
Labels: enhancement

#530 - Tiny simplification of constFoldProp

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

#529 - TSTORE/TLOAD + MCOPY + updated SelfDestruct

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

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

Issue - State: open - Opened by ethever 3 months ago - 3 comments
Labels: question

#527 - Missing User Acceptance Tests

Issue - State: open - Opened by msooseth 4 months ago
Labels: enhancement

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

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

#525 - Print OpCode on partial exec failure

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

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

Issue - State: closed - Opened by ethever 4 months ago - 4 comments
Labels: bug

#523 - Partial Concrete Storage for symbolic execution

Issue - State: open - Opened by ethever 4 months ago - 2 comments
Labels: enhancement

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

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

#521 - Adding limitations and workaround page to documentation

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

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

Pull Request - State: open - Opened by msooseth 4 months ago - 3 comments

#519 - ci: windows: pin Foundry version

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

#519 - ci: windows: pin Foundry version

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

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

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

#517 - More debug printing of calldata

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

#517 - More debug printing of calldata

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

#515 - Fixing fetching RPC

Pull Request - State: open - Opened by msooseth 4 months ago

#515 - Fixing fetching RPC

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

#514 - Re-enable dapp tests on Windows

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

#514 - Re-enable dapp tests on Windows

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

#513 - Fuzzer Bug in CopySlice Equiv

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

#513 - Fuzzer Bug in CopySlice Equiv

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