-
Notifications
You must be signed in to change notification settings - Fork 3.6k
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
[Bug][Prover] Several vector theories do not work in the current Move prover
bug
Something isn't working
move-prover
#14833
opened Oct 1, 2024 by
rahxephon89
[compiler-v2][Feature Request] Index notation for tables
compiler-v2
enhancement
New feature or request
#14829
opened Oct 1, 2024 by
alnoki
[Bug] Something isn't working
aptos move coverage source
shows 100% coverage for modules that have no tests
bug
#14819
opened Oct 1, 2024 by
Rqnsom
[Bug][move-compiler-v2] Something isn't working
compiler-v2-stable
compiler-v2
*&mut {s.x} =
causes STLOC_TYPE_MISMATCH_ERROR
bug
#14817
opened Oct 1, 2024 by
zzjas
[Bug][compiler-v2] Move v2 compiler enum destruction via pattern matching is broken
bug
Something isn't working
compiler-v2-stable
compiler-v2
#14813
opened Sep 30, 2024 by
alnoki
[Feature Request] Call graph visualization in the move disassembler
enhancement
New feature or request
#14799
opened Sep 30, 2024 by
vineethk
[Feature Request][Prover] Better error message when function does not exist
enhancement
New feature or request
move-prover
#14795
opened Sep 29, 2024 by
rahxephon89
[Bug] Rust rest client return transaction parsing error, e.g. version: 1736885879
bug
Something isn't working
#14794
opened Sep 29, 2024 by
leofisG
[Bug][Prover] Abort is translated into empty tuple when rewriting Move expression in a spec
bug
Something isn't working
move-prover
#14793
opened Sep 29, 2024 by
rahxephon89
[Feature Request][Prover] Support vector operation in spec function
enhancement
New feature or request
move-prover
#14790
opened Sep 28, 2024 by
rahxephon89
[Feature Request] New feature or request
pre-commit
support for CLI
enhancement
#14789
opened Sep 28, 2024 by
alnoki
6 tasks
Ambiguity in
get_transaction_hash
Function Name and Missing Raw Transaction Hash Function in transaction_context
#14774
opened Sep 27, 2024 by
junkil-park
[Bug][Compiler-v2][Prover] CALL_BORROWED_MUTABLE_REFERENCE_ERROR in jwks.move when adding spec block to the inline function vector::find
bug
Something isn't working
compiler-v2
move-prover
#14762
opened Sep 26, 2024 by
rahxephon89
[Node API] Getting events by event handle does not work on the localnet
#14760
opened Sep 26, 2024 by
junkil-park
[compiler-v2] Match generates unverifiable code
bug
Something isn't working
compiler-v2
#14733
opened Sep 24, 2024 by
wrwg
[Bug][move-compiler-v2] internal test failure in diamond_clicker.exp
bug
Something isn't working
compiler-v1-only
#14722
opened Sep 23, 2024 by
brmataptos
[Bug][move-compiler-v2] Function-valued argument type error message is confusing
bug
Something isn't working
compiler-v2-stable
compiler-v2
#14681
opened Sep 18, 2024 by
brmataptos
[Bug] Warnings and errors should be ordered by line number
bug
Something isn't working
compiler-v2
#14680
opened Sep 18, 2024 by
vineethk
[Feature Request][lint-rule] Track more kinds of mutable borrows in the needless mutable references linter
compiler-v2
enhancement
New feature or request
#14674
opened Sep 18, 2024 by
vineethk
[Feature Request]: Support for 0x1 #[test_only] Functions in Local Testnet and for Publishing Move Modules
enhancement
New feature or request
move-framework
Issues related to the Framework modules/libraries
stale-exempt
Prevents issues from being automatically marked and closed as stale
#14647
opened Sep 16, 2024 by
mshakeg
[Bug][move-compiler-v2] V2 wrongly gives "cannot drop value which is still borrowed"
bug
Something isn't working
compiler-v2-stable
compiler-v2
move-smith
#14646
opened Sep 15, 2024 by
zzjas
[Bug][move-compiler-v2] V2 mentions "invalid variable name" for just 1 case for each given name
bug
Something isn't working
compiler-v2
#14636
opened Sep 14, 2024 by
brmataptos
[Bug][move-compiler-v2] #[expected_failure] with invalid location yields no error in V2
bug
Something isn't working
compiler-v2-stable
compiler-v2
#14635
opened Sep 14, 2024 by
brmataptos
[Bug][move-compiler-v2] V2 error messaging should show the assignments that lead to the type constraints
bug
Something isn't working
compiler-v2-stable
compiler-v2
#14634
opened Sep 14, 2024 by
brmataptos
Previous Next
ProTip!
no:milestone will show everything without a milestone.