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

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

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

#488 - ci: update external actions

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

#488 - ci: update external actions

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

#486 - ci: correct build matrix OSes

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

#486 - ci: correct build matrix OSes

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

#485 - Drop brick remnants

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

#485 - Drop brick remnants

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

#484 - Fix solver support on Windows

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

#484 - Fix solver support on Windows

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

#483 - ethjet: clean up dead code

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

#483 - ethjet: clean up dead code

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

#482 - Solidity: ignore some more kontrol related build artifacts

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

#482 - Solidity: ignore some more kontrol related build artifacts

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

#481 - Optimize W256, Addr conversion to ByteString

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

#481 - Optimize W256, Addr conversion to ByteString

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

#480 - Mark FFI calls as `unsafe`

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

#480 - Mark FFI calls as `unsafe`

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

#479 - Fix nixpkgs ghc96

Pull Request - State: closed - Opened by hellwolf 6 months ago - 4 comments
Labels: in progress

#479 - Fix nixpkgs ghc96

Pull Request - State: closed - Opened by hellwolf 6 months ago - 4 comments
Labels: in progress

#478 - Fix typo in `deal` cheatcode docs

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

#478 - Fix typo in `deal` cheatcode docs

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

#477 - Improve mdbook build process, eliminate nodejs deps

Pull Request - State: closed - Opened by sambacha 6 months ago - 5 comments

#477 - Improve mdbook build process, eliminate nodejs deps

Pull Request - State: closed - Opened by sambacha 6 months ago - 5 comments

#476 - Better docs

Pull Request - State: closed - Opened by msooseth 6 months ago - 2 comments
Labels: enhancement

#476 - Better docs

Pull Request - State: closed - Opened by msooseth 6 months ago - 2 comments
Labels: enhancement

#475 - Minor cleanup

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

#475 - Minor cleanup

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

#474 - Fixes panic code to be hex not integer

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

#474 - Fixes panic code to be hex not integer

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

#472 - Better better results printing

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

#472 - Better better results printing

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

#471 - Update GHC to 9.6

Pull Request - State: closed - Opened by arcz 7 months ago - 4 comments

#471 - Update GHC to 9.6

Pull Request - State: closed - Opened by arcz 7 months ago - 4 comments

#470 - Add missing configuration values

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

#470 - Add missing configuration values

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

#469 - Cancun upgrade

Issue - State: open - Opened by arcz 7 months ago - 7 comments
Labels: in progress

#468 - Implement label cheatcode

Pull Request - State: closed - Opened by arcz 7 months ago - 1 comment

#468 - Implement label cheatcode

Pull Request - State: closed - Opened by arcz 7 months ago - 1 comment

#467 - Update bitwuzla

Pull Request - State: closed - Opened by msooseth 7 months ago
Labels: enhancement

#467 - Update bitwuzla

Pull Request - State: closed - Opened by msooseth 7 months ago
Labels: enhancement

#466 - Adding more rules

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

#466 - Adding more rules

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

#465 - [DRAFT] Update release.yml to allow for ARM64 binaries in the release

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

#465 - [DRAFT] Update release.yml to allow for ARM64 binaries in the release

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

#464 - Adding POr and PAnd rules

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

#464 - Adding POr and PAnd rules

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

#463 - Adding ideas from paper by Albert et al.

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

#463 - Adding ideas from paper by Albert et al.

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

#457 - SMT generation was wrong in more ways than one. Fixing.

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

#457 - SMT generation was wrong in more ways than one. Fixing.

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

#456 - Concat is a 2-argument function in SMT2, not 32

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

#456 - Concat is a 2-argument function in SMT2, not 32

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

#452 - Using with-utf8 so we don't encounter weird locale issues anymore

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

#452 - Using with-utf8 so we don't encounter weird locale issues anymore

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

#448 - `CopySlice` simplification, more generic Array/Map slot simplification, fixing `decompose`, `--nodecompose` flag

Pull Request - State: closed - Opened by zoep 8 months ago - 2 comments
Labels: bug, enhancement

#448 - `CopySlice` simplification, more generic Array/Map slot simplification, fixing `decompose`, `--nodecompose` flag

Pull Request - State: closed - Opened by zoep 8 months ago - 2 comments
Labels: bug, enhancement

#442 - Implement label cheatcode

Issue - State: closed - Opened by arcz 8 months ago
Labels: good first issue

#442 - Implement label cheatcode

Issue - State: closed - Opened by arcz 8 months ago
Labels: good first issue

#439 - Output giving a fail yet not returning a counterexample on why it failed

Issue - State: closed - Opened by ghost 8 months ago - 9 comments
Labels: bug

#439 - Output giving a fail yet not returning a counterexample on why it failed

Issue - State: closed - Opened by ghost 8 months ago - 9 comments
Labels: bug

#434 - Spurious Counterexample With Nested Arrays

Issue - State: open - Opened by d-xo 9 months ago - 2 comments
Labels: bug

#434 - Spurious Counterexample With Nested Arrays

Issue - State: open - Opened by d-xo 9 months ago - 2 comments
Labels: bug

#430 - Finish the docs?

Issue - State: closed - Opened by PatrickAlphaC 10 months ago - 10 comments
Labels: documentation, enhancement

#401 - `ReadWord` equivalence bug

Issue - State: open - Opened by d-xo 12 months ago - 3 comments
Labels: bug

#401 - `ReadWord` equivalence bug

Issue - State: open - Opened by d-xo 12 months ago - 3 comments
Labels: bug

#386 - Abstraction Refinement For Keccak

Issue - State: open - Opened by d-xo 12 months ago
Labels: enhancement

#381 - Concolic execution mode?

Issue - State: open - Opened by ggrieco-tob about 1 year ago - 3 comments
Labels: enhancement

#381 - Concolic execution mode?

Issue - State: open - Opened by ggrieco-tob about 1 year ago - 3 comments
Labels: enhancement

#369 - Get preimages from Solidity

Issue - State: open - Opened by msooseth about 1 year ago - 2 comments
Labels: enhancement, blocked

#355 - [DRAFT] Add benchmarking with Solidity examples

Pull Request - State: open - Opened by siraben about 1 year ago - 7 comments

#186 - Produce Aarch64 Binaries for MacOS

Issue - State: closed - Opened by d-xo over 1 year ago - 7 comments

#186 - Produce Aarch64 Binaries for MacOS

Issue - State: closed - Opened by d-xo over 1 year ago - 7 comments