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
#487 - `copySlice` can return giant SMT queries from reasonable-sided expressions
Issue -
State: closed - Opened by samalws-tob 5 months ago
- 1 comment
#487 - `copySlice` can return giant SMT queries from reasonable-sided expressions
Issue -
State: closed - Opened by samalws-tob 5 months ago
- 1 comment
#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
#473 - Display hexadecimal value of panic opcode or specific error msgs for a panic
Issue -
State: closed - Opened by 0xicingdeath 6 months ago
- 1 comment
#473 - Display hexadecimal value of panic opcode or specific error msgs for a panic
Issue -
State: closed - Opened by 0xicingdeath 6 months ago
- 1 comment
#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