Anton Trunov

Hey @novusnota, sorry for pinging you one more time about the LSP packaging for Neovim, Emacs, Helix, etc. We are going to have a new Tact contest in about a...

Great job @novusnota! As always :)

This is an absolutely fantastic proposal based on state-of-the-art research! Compared to the one in #436 it works at the level of TVM which makes it suitable for any language...

> Usually high-level languages compilers remain some debug information (like line number) when compile source code into low level code This is a nice solution and is certainly doable. I...

Hi @Damtev, no progress so far from our side, unfortunately. I opened an issue https://github.com/tact-lang/tact/issues/296, so you can subscribe to it and track progress. We have an upcoming Tact v1.3.0...

This is a very ambitious project which, if implemented, would bring to the TON ecosystem state-of-the-art tooling to ensure contract security and correctness with the level of guarantees way beyond...

Thanks a lot for the clarification @andruiman! > Please feel free to reopen it if you wish to provide further details or require assistance. Looks like this issue could be...

The plan looks really awesome! I'm all in favor of this proposal. It would be great to integrate the analyzer with https://github.com/tact-lang/tact-vscode after it's functional.

@delovoyhomie Should this be closed as an LLM-generated noise?

This is definitely what the Tact docs of any kind need. tact-by-example is not currently actively worked on by the Tact team, so we would really appreciate some help with...