Teng Zhang
Teng Zhang
## Motivation Resolve #203 ### Have you read the [Contributing Guidelines on pull requests](https://github.com/diem/diem/blob/main/CONTRIBUTING.md#pull-requests)? Yes ## Test Plan tests/TestStringLiteral.move
## Motivation 1. As stated [here](https://docs.soliditylang.org/en/v0.8.13/control-structures.html?highlight=try#try-catch), Solidity supports different kinds of catch blocks depending on the type of error (Error(string memory reason), Panic(uint errorCode), and bytes memory lowLevelData). To describe...
When the prover is run against several Move modules in the DPN with the option “—trace”, output.bpl cannot pass compilation. To reproduce the error, using the following command: `move package...
The prover cannot verify two proof targets for the function [cmp_bcs_bytes](https://github.com/diem/diem/blob/47e43d9b5ea1aab5d1478f008a9820e61463e7d1/language/move-stdlib/nursery/sources/Compare.move#L41) in [Compare.move](https://github.com/diem/diem/blob/main/language/move-stdlib/nursery/sources/Compare.move). The two proof targets can be found [here](https://github.com/rahxephon89/diem/blob/562c4bd57e6efcbad0c7e020f877832ce4d79555/language/move-stdlib/nursery/sources/Compare.move#L86). Both of them involve universal quantifiers with operators on...
# 🐛 Bug In the move cli, we can specify test cases to run by executing `move test MODULE_TO_TEST`. However, if there is no test to be executed, move cli...
# 🐛 Bug After landing the PR #11371, the compiler V2 will generate an error when trying to check equality between mutable and immutable reference. For instance, for the following...
# 🐛 Bug When executing the following command: `cargo run --release -p aptos-debugger -- move execute-past-transactions --begin-version 1000000 --limit 20000 --rest-endpoint https://api.mainnet.aptoslabs.com/v1`, aptos-debugger will panic with the following message: `thread...
## Description Previously, as long as the temp is borrowed, it cannot be written. This PR relaxes the condition that if all borrowing temps are not alive after the statement,...
## Description This PR guarantees that the CompiledModule/Script generated by the compiler V2 must be 7 so that only when the feature flag VM_BINARY_FORMAT_V7 is set, the module can be...
## Description This PR shows the result after applying the movefmt to the framework code. Please feel free to leave feedback!