Skip to content

Issues: Consensys/evm-dafny

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

43 Open 328 Closed
43 Open 328 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Problem with ecdsaRecover precompile contract?
#625 opened Jan 10, 2024 by DavePearce
Transaction Nonce Overflow
#624 opened Jan 10, 2024 by DavePearce
Expected CREATION_OUT_OF_GAS
#623 opened Jan 10, 2024 by DavePearce
Bug with CALL gas calculation? bug Something isn't working
#622 opened Jan 10, 2024 by DavePearce
Enable fork selection from CLI
#620 opened Jan 9, 2024 by DavePearce
Fixing Failing Lemmas / Proofs for Z3 4.12.1 enhancement New feature or request
#618 opened Dec 22, 2023 by DavePearce
Exploit the opaque modifier
#610 opened Dec 18, 2023 by DavePearce
1
Add Counter Example
#609 opened Nov 6, 2023 by DavePearce
Add Compiler Optimisation Examples
#608 opened Nov 6, 2023 by DavePearce
Refactor SlicePeek()
#607 opened Nov 3, 2023 by DavePearce
Simplify Postconditions
#606 opened Nov 3, 2023 by DavePearce
Reimplement Memory as seq<u256>
#605 opened Nov 3, 2023 by DavePearce
Add RLP implementation
#597 opened Aug 22, 2023 by DavePearce
Rework Int.Pow() and Int.ModPow() using by method enhancement New feature or request
#578 opened Jun 20, 2023 by DavePearce
1
Verification with NonLinear Arithmetic Disabled? enhancement New feature or request
#573 opened May 25, 2023 by DavePearce
1
Implement alt_bn128 pairing operation enhancement New feature or request
#572 opened May 7, 2023 by DavePearce
Missing Deposit Costs for Outermost CREATE bug Something isn't working
#532 opened Mar 3, 2023 by DavePearce
Support (Non-Legacy) Transaction Types Natively
#528 opened Feb 22, 2023 by DavePearce
EIP Timeline observation A useful observation (perhaps for further discussion)
#523 opened Feb 19, 2023 by DavePearce
1
Continations or Recursion? question Further information is requested
#520 opened Feb 10, 2023 by DavePearce
Fully implement SelfDestruct enhancement New feature or request
#517 opened Jan 31, 2023 by franck44
@franck44
Proof Generation (Immediate Properties)
#516 opened Jan 29, 2023 by DavePearce
Eliminate MEMORY_OVERFLOW (again)
#514 opened Jan 26, 2023 by DavePearce
Architecture?
#508 opened Jan 8, 2023 by hmijail
9
Migrate (Java) Contract Execution to Dafny refactoring Improves code base without changing functionality
#497 opened Jan 4, 2023 by DavePearce
ProTip! Exclude everything labeled bug with -label:bug.