Skip to content

Issues: aptos-labs/aptos-core

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

Clear current search query, filters, and sorts
9 Open 19 Closed
9 Open 19 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

[Multisig V2] execute-with-payload ignores the provided payload
#12929 opened Apr 18, 2024 by junkil-park
@junkil-park
[Multisig V2] Multisig payload simulation inaccurately estimates the gas cost
#12704 opened Mar 27, 2024 by junkil-park
@junkil-park
[Multisig V2] Multisig payload simulation fails when no entry function is provided
#12703 opened Mar 27, 2024 by junkil-park
1
@junkil-park
[Prover] Prover's performance regression with the latest Z3 move-prover stale-exempt Prevents issues from being automatically marked and closed as stale
#11531 opened Jan 2, 2024 by junkil-park
@junkil-park @rahxephon89
[Bug][docgen] Test functions are missing in the generated doc bug Something isn't working stale-exempt Prevents issues from being automatically marked and closed as stale
#11400 opened Dec 18, 2023 by junkil-park
[Prover][Issue] simple_map doesn't work as expected. move-prover stale-exempt Prevents issues from being automatically marked and closed as stale
#7422 opened Mar 27, 2023 by junkil-park
@rahxephon89
3
[Prover][Bug] issue with type info in a spec function move-prover stale-exempt Prevents issues from being automatically marked and closed as stale
#7123 opened Mar 14, 2023 by junkil-park
5
[Prover][Bug] Incomplete display of havocked variables move-prover stale-exempt Prevents issues from being automatically marked and closed as stale
#7122 opened Mar 14, 2023 by junkil-park
@rahxephon89
2
[Prover] the use of a type parameter with exists in spec bug Something isn't working move-prover stale-exempt Prevents issues from being automatically marked and closed as stale
#6658 opened Feb 17, 2023 by junkil-park
2
@junkil-park @rahxephon89
6
ProTip! Updated in the last three days: updated:>2024-04-24.