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
Label
Projects
Milestones
Assignee
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] Compiler V2 to generate bytecode version 7
compiler-v2
enhancement
New feature or request
#13038
opened Apr 25, 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 Something isn't working
compiler-v2
stale-exempt
Prevents issues from being automatically marked and closed as stale
cannot assign to borrowed
error
bug
#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-v2] false positive error Something isn't working
compiler-v2
mutable reference in local requires exclusive access but is borrowed
bug
#12849
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 Something isn't working
compiler-v2
stale-exempt
Prevents issues from being automatically marked and closed as stale
cannot mutably borrow since immutable references exist
error from V2
bug
#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] STLOC_TYPE_MISMATCH_ERROR when the return type is a tuple containing mutable refs while the target type is immutable ref
bug
Something isn't working
compiler-v2
stale-exempt
Prevents issues from being automatically marked and closed as stale
#12394
opened Mar 6, 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
Previous Next
ProTip!
Updated in the last three days: updated:>2024-04-24.