Xudong Wang

[move prover] add unchecked subtraction

1

## Motivation Just like we can ignore addition overflow, it is more convenient to ignore subtraction underflow in some cases. ### Have you read the [Contributing Guidelines on pull requests](https://github.com/move-language/move/blob/main/CONTRIBUTING.md#developer-workflow)?...

# 🐛 Bug When MVP sees an unsupported operation in a function, it proves arbitrary postconditions. ## To reproduce MVP can find that this postcondition doesn't hold: ```rust address 0x123...

[Feature Request] Windows Support of Move Prover

2

# Feature Request Add support of Move Prover on Windows. Currently Move Prover relies on external executables, including Boogie, Z3 and CVC5, etc. For example, we install boogie using a...

Bump LLVM from 13.0.0 to 15.0.0

4

Changes: - Let ARM Apple use the prebuilt LLVM libraries - Let AMD64 Linux build LLVM libraries from source (as it is not available on LLVM GitHub release page) -...

The current Bluetooth protocol implementation works with ObinsKit BLE firmware 1.14.6 (with Bluetooth firmware version 2.03). But it doesn't work with the latest Bluetooth firmware (2.05, from 08 Oct 2021).