Jason

Results 9 issues of Jason

### Description This is a part of spec work for Aptos Framework from MoveBit, we updated below files/modules in this PR: > Added specs for module block & aptos_account &...

### Description This is a part of spec work for Aptos Framework from MoveBit, we updated below files/modules in this PR: > Updated specs for consensus_config, added spec for transaction_fee...

# Document Suggestion Add comparison for dev call and execute-function in the console user guide part. **Describe the Suggestion** I noticed there has two console commands, [dev call] and [account...

**Framework version:** v11 **Description**: U64 literal constant 18446744073709551615u64 is used in Bitwise.move. The decimal format is error-prone and difficult to recognize. **Code Location:** sources/Bitwise.move, line 26 ``` /// bit not:...

enhancement

**Desc**: Some block and transaction-related module functions must be called under account `GENESIS_ADDRES`. Since these functions are not allowed for normal users to access, remove or hide them away from...

bug

**Framework version:** v11 **Description**: There are some design articles for some parts, eg. Account, Token, DAO, and NFT. That's not enough for an STD library. It needs more detailed documents...

enhancement

**Description**: In module ChainId, determining whether the chain is dev, test, halley, proxima, barnard, and main type is not enough. The custom chain may be configured from a dev template...

bug

## Motivation This is a draft PR for #799 from MoveBit, we'd like to let folks know what we're doing, and have a discussion with developers to improve move-analyzer together....

# 🚀 Feature Request We request the Move Analyzer support the below features: * Completion suggestions for use/friend/struct statements while typing, based on Semantic Analysis. * Supporting MSL, go to...

enhancement