Adam Welc

Let's see if you are using move-analyzer binary from the expected location. - quit VSCode - move Move analyzer binary from `~/.sui/bin/` directory some temporary one - start VSCode You...

I still can't shake of a suspicion that your VSCode somehow picks up a wrong move-analyzer binary (though I am not sure how this could be possible). Let's try something...

> I followed your suggestions, but I assume you meant "~/.cargo/bin/move-analyzer," not just "~/.cargo/bin" Yes, sorry for the imprecision > What did I do wrong upon installation? Do you have...

@gordonkoehn , I realized that there might have been another problem and I was wondering if you'd be willing to give it a shot. - remove custom Server:Path from "Workspace"...

v.1.0.2 of the extension finally solved the problem

> @awelc this is the third issue I've submitted regarding `sui move prove` - I have to apologize for this. I understand that this has a low priority, and that...

I have implemented integration of the linting capability with the transactional testing framework but there are two deficiencies there that are going to be difficult to overcome without some major...

This has been superseded by https://github.com/MystenLabs/sui/pull/12650 (linter framework based on the Move compiler plus an example linter - warn about sharing potentially already owned objects), https://github.com/MystenLabs/sui/pull/12822 (transfer to self), and...

@c0wjay, sorry for the delay on this... I will look at this shortly but currently both @emmazzz and I are a bit swamped...

Started to look at this but also added @meng-xu-cs and @emmazzz as reviewers.