Ville Sundell
Ville Sundell
While `move-analyzer --version` reports `1.0.0`, the package itself is at version `0.0.0`. This is because version information is hardcoded to the `clap()` usage, and the `Cargo.toml` package manifest is out-of-date....
Fixed broken `prover-inconsistency-test` CI job and moved it from `daily` to `ci-pre-land` as `prover-tests`, since there seems to be no reason to have it in the daily run instead of...
Add Move
**https://github.com/MystenLabs/awesome-move** **[Move](https://github.com/move-language/move) is a programming language for writing safe smart contracts originally developed at Facebook in 2019 as part of the [Diem](https://github.com/diem/diem) project. This is a curated list of code...
# 🐛 Bug It seems that every verification involving `BitOr` holds, even when it should not. ## To reproduce **Code snippet to reproduce** ```move address 0x1 { module Question {...
# ~~🐛 Bug~~ Recently, move compiler learnt to optimize the code, transforming `(8 as u64) | 128` into `136`in bytecode. However, the optimizer seems to ignore constants: `(8 as u64)...
# 🐛 Bug Move-prover's boogie-backend verifies that installed boogie is newer than the required version. However, the version is not properly checked: the check fails to verify that `2.9.0.0` (default...
KYC wasn't public for some reason, now it's is, so it's also visible on tools such as Etherscan.
Added nonce reuse test for ERC-865, replaced MockKYC with BasicKYC.
This adds sanity check on the GIT repository's state, and also some misc stuff which needs to be committed now ( :D )
We are using for internal vote counting addresses starting from 0x64 upwards. This is to provide extreme compatibility with all the wallets: bare minimum is, an ability to transfer EIP-20...