Search results

Disable resolving primitive values as unique.

Status: Open.

#213 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on Jul 20, 2026

Integrate uniqueness / locality checking with specification DSL

Status: Open.

#211 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on Jul 20, 2026

Move uniqueness tests to uniqueness module.

Status: Open.

#210 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on Jul 13, 2026

Do not allow Empty Files in testData

Status: Open.

#198 In JetBrains/SnaKt;

· Ramon Wick (The-Ray-Man) opened on Jun 30, 2026

Allow the specification of a local lambda argument with local type arguments

Status: Open.

#197 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on Jun 30, 2026

Allow local anonymous functions locality to capture outer local variables during locality checking

Status: Open.

#195 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on Jun 27, 2026

Support decreases

Status: Open.

#194 In JetBrains/SnaKt;

· Ramon Wick (The-Ray-Man) opened on Jun 26, 2026

Permission Bug in Pure Function Conversion

Status: Open.

#189 In JetBrains/SnaKt;

· Ramon Wick (The-Ray-Man) opened on Jun 25, 2026

Further investigate handling of type aliases by locality and uniqueness checkers

Status: Open.

#182 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on Jun 1, 2026

Refactor conversion process into a pipeline

Status: Open.

#148 In JetBrains/SnaKt;

· Komiputer (komiputer) opened on May 11, 2026

Fix ConcurrentModificationException in SiliconFrontend.close during testing

Status: Open.

#142 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on May 7, 2026

Support checking for parameter / receiver locality in anonymous functions

Status: Open.

#126 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on Apr 30, 2026