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
#456 - Concat is a 2-argument function in SMT2, not 32
Issue -
State: closed - Opened by msooseth 9 months ago
Labels: bug
#452 - Using with-utf8 so we don't encounter weird locale issues anymore
Pull Request -
State: closed - Opened by msooseth 10 months ago
#452 - Using with-utf8 so we don't encounter weird locale issues anymore
Pull Request -
State: closed - Opened by msooseth 10 months ago
#448 - `CopySlice` simplification, more generic Array/Map slot simplification, fixing `decompose`, `--nodecompose` flag
Pull Request -
State: closed - Opened by zoep 10 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 10 months ago
- 2 comments
Labels: bug, enhancement
#442 - Implement label cheatcode
Issue -
State: closed - Opened by arcz 11 months ago
Labels: good first issue
#442 - Implement label cheatcode
Issue -
State: closed - Opened by arcz 11 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 11 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 11 months ago
- 9 comments
Labels: bug
#434 - Spurious Counterexample With Nested Arrays
Issue -
State: open - Opened by d-xo 11 months ago
- 2 comments
Labels: bug
#434 - Spurious Counterexample With Nested Arrays
Issue -
State: open - Opened by d-xo 11 months ago
- 2 comments
Labels: bug
#430 - Finish the docs?
Issue -
State: closed - Opened by PatrickAlphaC 12 months ago
- 10 comments
Labels: documentation, enhancement
#429 - Add abstraction-refinement for overapporximation via NRA and NIA
Issue -
State: closed - Opened by msooseth about 1 year ago
- 1 comment
Labels: enhancement
#402 - Avoid reading out of buffer limits in `readWordFromBytes`
Pull Request -
State: closed - Opened by zoep about 1 year ago
- 4 comments
#401 - `ReadWord` equivalence bug
Issue -
State: closed - Opened by d-xo about 1 year ago
- 4 comments
Labels: bug
#401 - `ReadWord` equivalence bug
Issue -
State: open - Opened by d-xo about 1 year ago
- 3 comments
Labels: bug
#386 - Abstraction Refinement For Keccak
Issue -
State: open - Opened by d-xo about 1 year 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 over 1 year ago
- 7 comments
#214 - feat: allow passing in the source file as a parameter
Issue -
State: open - Opened by 0xPhaze over 1 year ago
- 2 comments
Labels: enhancement
#186 - Produce Aarch64 Binaries for MacOS
Issue -
State: closed - Opened by d-xo almost 2 years ago
- 7 comments
#186 - Produce Aarch64 Binaries for MacOS
Issue -
State: closed - Opened by d-xo almost 2 years ago
- 7 comments
#131 - Add json tracing endpoint back to the cli
Issue -
State: open - Opened by d-xo almost 2 years ago
Labels: enhancement
#115 - Polish documentation
Issue -
State: closed - Opened by d-xo almost 2 years ago
- 1 comment
#82 - Move to using API for SMT solvers instead of using their textual interface
Issue -
State: closed - Opened by msooseth about 2 years ago
- 1 comment
Labels: enhancement
#12 - Replace Arrays With Uninterpreted Functions in the SMT encodings
Issue -
State: closed - Opened by d-xo over 2 years ago
- 1 comment