Search results

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

Move locality tests in locality module

Status: Open.

#138 In JetBrains/SnaKt;

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

Support checking for parameter / receiver locality in anonymous functions

Status: Open.

#126 In JetBrains/SnaKt;

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

Support Kotlin object declarations as Viper Algebraic Data Types

Status: Open.

#102 In JetBrains/SnaKt;

· Paul Winkler (pawinkler) opened on Apr 9, 2026

Handle corner cases in uniqueness checker.

Status: Open.

#83 In JetBrains/SnaKt;

· Ramon Wick (The-Ray-Man) opened on Mar 20, 2026

Empty preconditions error

bugSomething isn't workingSomething isn't working

Status: Open.

#78 In JetBrains/SnaKt;

· Sai Divvela (TheDeveloper101) opened on Mar 18, 2026

Classloader leak not fully resolved after PR #65

Status: Open.

#76 In JetBrains/SnaKt;

· Paul Winkler (pawinkler) opened on Mar 18, 2026

Permission Management

Status: Open.

#72 In JetBrains/SnaKt;

· Ramon Wick (The-Ray-Man) opened on Mar 13, 2026

Integrate uniqueness checker within Kotlin's compiler infrastructure

Status: Open.

#67 In JetBrains/SnaKt;

· Marco Paganoni (paganma) opened on Mar 12, 2026

Improve purity checker and extend supported functions

Status: Open.

Feature

#56 In JetBrains/SnaKt;

· Paul Winkler (pawinkler) opened on Mar 6, 2026