Adam Welc
Adam Welc
# 🐛 Bug I have discovered a problem with the bytecode translator on certain snippets of Move code (please see below for an example on how to reproduce this). I...
## Motivation This is an attempt to fix the Move prover problem reported and analyzed in https://github.com/move-language/move/issues/270 Please note that the bytecode translator changes are failing - due to changes...
This PR is the first step towards implementing so called one-time-witness in the form of so called characteristic type. The idea is to guarantee that a given [witness type](http://examples.sui.io/patterns/witness.html) can...
When running the dev_setup.sh script installation of .NET on MacOS (M1) fails with the following error: ```bash dotnet-install: Attempting to download using primary link https://dotnetcli.azureedge.net/dotnet/Sdk/5.0.404/dotnet-sdk-5.0.404-osx-arm64.tar.gz curl: (22) The requested URL...
# 🚀 Feature Request At this point, file updates are obtained by the Move analyzer by reading on-disk files. Relying on incremental updates being transmitted by the IDE (https://github.com/move-language/move/issues/378) would...
**#** 🚀 Feature Request At this point, virtual file system (VFS) used by the Move analyzer abstracts on-disk files only but it really should also support in-memory files. ## Motivation...
Core Move support for passing strings to Move entry functions has been recently added in https://github.com/MystenLabs/sui/pull/4627, along with support in Sui JSON (and thus `sui client` CLI). This task is...
Our devs keep getting confused when trying to have packages crated in separate directories as dependencies. There should be an example for this. Preliminarily assigning @damirka to this in hope...
We have been getting questions on our social channels on gas fee estimation and we should have it documented somewhere. If this is already done, let's have a link here...