Releases: movebit/movefmt
movefmt-v1.0.6(beta version)
movefmt is a formatting tool that is based on the Aptos Move compiler.
About Us
MoveBit is a security audit company for the Move ecosystem, with a vision to make the Move ecosystem the most secure Web3.
The MoveBit team consists of security leaders in academia and enterprise world, with 10 years of security experience, and is the first blockchain security company to leverage formal verification in the Move ecosystem.
Changelogs:
https://github.com/movebit/movefmt/blob/develop/doc/ChangeLog.md
movefmt-v1.0.5(beta version)
movefmt is a formatting tool that is based on the Aptos Move compiler.
About Us
MoveBit is a security audit company for the Move ecosystem, with a vision to make the Move ecosystem the most secure Web3.
The MoveBit team consists of security leaders in academia and enterprise world, with 10 years of security experience, and is the first blockchain security company to leverage formal verification in the Move ecosystem.
Changelogs:
https://github.com/movebit/movefmt/blob/develop/doc/ChangeLog.md
movefmt-v1.0.4(beta version)
movefmt is a formatting tool that is based on the Aptos Move compiler.
About Us
MoveBit is a security audit company for the Move ecosystem, with a vision to make the Move ecosystem the most secure Web3.
The MoveBit team consists of security leaders in academia and enterprise world, with 10 years of security experience, and is the first blockchain security company to leverage formal verification in the Move ecosystem.
Changelogs:
https://github.com/movebit/movefmt/blob/develop/doc/ChangeLog.md
movefmt-v1.0.3(beta version)
movefmt is a formatting tool that is based on the Aptos Move compiler.
About Us
MoveBit is a security audit company for the Move ecosystem, with a vision to make the Move ecosystem the most secure Web3.
The MoveBit team consists of security leaders in academia and enterprise world, with 10 years of security experience, and is the first blockchain security company to leverage formal verification in the Move ecosystem.
Background
A formatting tool, also known as a pretty-printer, prints the parser's AST of the corresponding language into a beautifully formatted string.
Currently, the community has been discussing the need for a formatting tool for the move language, but due to the fact that implementing a formatting tool is not an easy task, there has not yet been a mature and user-friendly formatting tool for the move language.
Based on this, MoveBit developed a move formatting tool for this purpose. It currently supports the formatting of Move code in Aptos Move projects.
Changelogs:
More recent changes in detail you can see https://github.com/movebit/movefmt/blob/develop/doc/ChangeLog.md
2024/3/29 v1.0.0(beta version)
- Support for formatting various syntaxes ✅
- Formatting does not change the lexical content and semantics of the source code ✅
- Supports various types of comments, and accommodates comments distributed throughout the source code ✅
- All 81 test cases designed have passed ✅
- Supports automated regression testing for test cases ✅