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.

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

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

Issues list

[Feature Request][Compiler-V2] Move the code of attaching compiled module to the compiler driver compiler-v2 enhancement New feature or request stale-exempt Prevents issues from being automatically marked and closed as stale
#13049 opened Apr 26, 2024 by rahxephon89
[Feature Request][Compiler-v2] use the model generated by V2 for docgen and abigen compiler-v2 enhancement New feature or request stale-exempt Prevents issues from being automatically marked and closed as stale
#12946 opened Apr 19, 2024 by rahxephon89
[Bug][compiler-v2] dangling reference error is missing from V2 bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12904 opened Apr 15, 2024 by rahxephon89
[Bug][Compiler-v2] error in module_call_constraints_not_satisfied.exp is suppressed bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12902 opened Apr 15, 2024 by rahxephon89
[Bug][Compiler-v2] duplicated error messages in conditional_drop_invalid.exp bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12901 opened Apr 15, 2024 by rahxephon89
[Feature Request][Compiler-v2] better error messages for ability check compiler-v2 enhancement New feature or request stale-exempt Prevents issues from being automatically marked and closed as stale
#12899 opened Apr 15, 2024 by rahxephon89
[Bug][Compiler-v2] another false postive "cannot assign to borrowed local" error revealed by the evaluation order of tuple bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12889 opened Apr 15, 2024 by rahxephon89
[Bug][compiler-v2] false positive cannot assign to borrowed error bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12888 opened Apr 14, 2024 by rahxephon89
[Bug][Compiler-v2] EXECUTION_LIMIT_REACHED when executing some on-chain txns bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12855 opened Apr 11, 2024 by rahxephon89
[Bug][Compiler] borrow analysis in V1 depends on the evaluation order bug Something isn't working stale-exempt Prevents issues from being automatically marked and closed as stale
#12836 opened Apr 9, 2024 by rahxephon89
[Bug][Compiler-v2] another false positive cannot mutably borrow since immutable references exist error from V2 bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12834 opened Apr 9, 2024 by rahxephon89
[Bug][Compiler-v2] Error message regression for unit types bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12802 opened Apr 4, 2024 by rahxephon89
[Bug][Compiler-v2] BORROWFIELD_EXISTS_MUTABLE_BORROW_ERROR raised in factor_invalid_2 bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12781 opened Apr 3, 2024 by rahxephon89
[Bug][ResourceAccessControl] AccessDenied when checking existence of a resource that is not defined in the same module bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12623 opened Mar 21, 2024 by rahxephon89
[Feature Request][Compiler-v2] Improve performance of field mutable borrow check compiler-v2 enhancement New feature or request stale-exempt Prevents issues from being automatically marked and closed as stale
#12605 opened Mar 20, 2024 by rahxephon89
[Bug][Compiler-v2] type mismatch error message is confusing for mutate operation bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12555 opened Mar 16, 2024 by rahxephon89
[Bug][Prover] Intrinsic of SimpleMap is incomplete bug Something isn't working
#12530 opened Mar 14, 2024 by rahxephon89
[Bug][Compiler-v2] Check use of display_simply, display and display_full for QualifiedSymbol bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12324 opened Mar 1, 2024 by rahxephon89
[Feature Request] Refactor the comparison testing tool enhancement New feature or request stale-exempt Prevents issues from being automatically marked and closed as stale
#12128 opened Feb 21, 2024 by rahxephon89
[Bug][Compiler-v2] More error messages are generated in V2 bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12122 opened Feb 20, 2024 by rahxephon89
[Bug][Compiler-v2] Messages are omitted when there are multiple errors bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
#12117 opened Feb 20, 2024 by rahxephon89
[Feature Request][Prover] Ghost field for structs compiler-v2 enhancement New feature or request move-prover stale-exempt Prevents issues from being automatically marked and closed as stale
#12015 opened Feb 14, 2024 by rahxephon89
ProTip! Updated in the last three days: updated:>2024-04-24.