Skip to content

Issues: ethereum/act

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

33 Open 39 Closed
33 Open 39 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Multiple contracts, with a contract that is not created
#184 opened Jul 25, 2024 by jaa2
1
Failure to build Act executable
#181 opened Feb 9, 2024 by zoep
1
Unify the approach of integer bounds assertions
#171 opened Nov 3, 2023 by zoep
Automatically generate getter specs enhancement New feature or request
#166 opened Oct 25, 2023 by zoep
ActBook: Hevm section seems outdated
#158 opened Aug 9, 2023 by mir-ikbch
2
Structured Interface Definitions In JSON Output
#138 opened Oct 12, 2022 by d-xo
Solver timeout when attempting to prove mint(Pass)
#137 opened Oct 12, 2022 by koolexcrypto
4
Support building outside of nix
#134 opened Apr 19, 2022 by d-xo
Syntax: change rewrite arrow to <- enhancement New feature or request good first issue Good for newcomers
#128 opened Mar 22, 2022 by d-xo
cff backend
#125 opened Sep 18, 2021 by d-xo
Move Time t from TEntry to TStorageItem minor Style details and clean code
#121 opened Jul 23, 2021 by kjekac
Choose one style of accessing records minor Style details and clean code
#120 opened Jul 23, 2021 by kjekac
hevm: handle contracts with boolean mappings bug Something isn't working
#118 opened Jul 21, 2021 by d-xo
1
Rounding Error Analysis enhancement New feature or request
#112 opened May 12, 2021 by d-xo
1
SMT: Detect Collisions in Mapping Assignments enhancement New feature or request
#111 opened May 12, 2021 by d-xo
@zoep
SMT: Arithmetic bounds checking enhancement New feature or request
#109 opened May 12, 2021 by d-xo
Unify Error Handling enhancement New feature or request
#108 opened May 11, 2021 by d-xo
Position information for backend errors enhancement New feature or request
#97 opened Apr 29, 2021 by d-xo
9
Typechecker: Issue type errors for invalid constructor preconditions bug Something isn't working
#94 opened Apr 29, 2021 by d-xo
Test: Negative QuickCheck Tests tests Improvements to the test suite
#87 opened Jan 13, 2021 by d-xo
Test: JSON Roundtrip tests Improvements to the test suite
#86 opened Jan 13, 2021 by d-xo
Lack of blanks makes source look confusing enhancement New feature or request
#78 opened Dec 15, 2020 by leonardoalt
SMT backend multi transaction counterexample enhancement New feature or request
#67 opened Dec 15, 2020 by leonardoalt
1
Further Refine AST enhancement New feature or request
#64 opened Dec 15, 2020 by d-xo
5
Unclear semantics for environment variables in the invariant block enhancement New feature or request
#59 opened Dec 15, 2020 by d-xo
20
ProTip! Follow long discussions with comments:>50.