Search results

Assigning unique to moved field results in a moved field

Status: Open.

#83 In JetBrains/SnaKt;

· The-Ray-Man opened on Mar 20, 2026

Support of Casts In Uniqueness Checker

Status: Open.

#79 In JetBrains/SnaKt;

· The-Ray-Man opened on Mar 19, 2026

Empty preconditions error

bugSomething isn't workingSomething isn't working

Status: Open.

#78 In JetBrains/SnaKt;

· TheDeveloper101 opened on Mar 18, 2026

Classloader leak not fully resolved after PR #65

Status: Open.

#76 In JetBrains/SnaKt;

· pawinkler opened on Mar 18, 2026

Permission Management

Status: Open.

#72 In JetBrains/SnaKt;

· The-Ray-Man opened on Mar 13, 2026

Check uniqueness by performing analysis with Kotlin's built-in fixpoint analysis

Status: Open.

#67 In JetBrains/SnaKt;

· paganma opened on Mar 12, 2026

Improve purity checker and extend supported functions

Status: Open.

Feature

#56 In JetBrains/SnaKt;

· pawinkler opened on Mar 6, 2026

OutOfMemoryError: Metaspace when compiling multiple functions with Viper verification enabled

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#54 In JetBrains/SnaKt;

· pawinkler opened on Mar 4, 2026

Considur using an enum to express permissions

Status: Open.

#42 In JetBrains/SnaKt;

· jesyspa opened on Dec 27, 2025

Add support for explicit permissions in pre-/postconditions

Status: Open.

#34 In JetBrains/SnaKt;

· jesyspa opened on Nov 21, 2025

Split expensive/flaky tests from regular ones

Status: Open.

#33 In JetBrains/SnaKt;

· jesyspa opened on Nov 21, 2025