Jesús Héctor Domínguez Sánchez

Towards #512 and #455. It supports expressions and statements. Specifically: + Calls to module-level functions without attributes (including recursive calls). Unsupported attributes: native, inline, extends, mutates + Reference to module-level...

The description of a `mutates` function specifies that it can change the argument given in the `self` parameter. For example, given the declaration, ``` let A: Int = 0; ```...

## Issue Closes #886. Also towards #539: Added tests for short-circuiting of && and || in `semantics.spec`. ## Checklist - [ ] I have updated CHANGELOG.md - [X] I have...

FunC error when wrapping `throw` inside a function.

1

### Are you using the latest released (or pre-released, a.k.a. "next") version? - [X] I'm using the latest Tact version ### Tact source code ```tact // The same happens if...

### Are you using the latest released (or pre-released, a.k.a. "next") version? - [X] I'm using the latest Tact version ### Tact source code The first thing that function writeExpession...

### Are you using the latest released (or pre-released, a.k.a. "next") version? - [X] I'm using the latest Tact version ### Tact source code ```tact fun infiniteLoop(): Bool { while...

This issue collects a list of rules to be added to the partial evaluator. Feel free to add to the list any rules that you believe the corresponding operator should...

FunC reports "lvalue expected before...." on a program accepted by the Tact compiler

2

### Are you using the latest released (or pre-released, a.k.a. "next") version? - [X] I'm using the latest Tact version ### Tact source code ```tact struct MapWrapper { m: map...

Simple constant propagation AST-based analysis

1

## Issue Closes #716. The solution is able to detect not only division by zero problems, but any kind of problem that depends on variable tracing, like null dereferencings, number...

Compiler allows changing fields in getter functions

5

### Are you using the latest released (or pre-released, a.k.a. "next") version? - [X] I'm using the latest Tact version ### Tact source code ```tact extends mutates fun changeMe(self: Int)...