Search results

Handle all default getters that have ignored types in Extraction

Status: Open.

#1685 In epfl-lara/stainless;

· samuelchassot opened on Dec 12, 2025

Error when running a particular example with extended trait

Status: Open.

#1684 In epfl-lara/stainless;

· samuelchassot opened on Dec 12, 2025

Improve error reporting on the CI

Status: Open.

#1683 In epfl-lara/stainless;

· mbovel opened on Dec 11, 2025

STimeout for validation of a simple combination of cards

Status: Open.

#1682 In epfl-lara/stainless;

· odavy37 opened on Dec 10, 2025

Unsound field encoding in case classes (in presence of mutation)

bug

imperative

Status: Open.

#1681 In epfl-lara/stainless;

· samuelchassot opened on Dec 10, 2025

Unsound non-case classes equality

bug

equality

Status: Open.

#1680 In epfl-lara/stainless;

· mbovel opened on Dec 10, 2025

Weird generic error message on an @extern method whose ensuring does Int to BigInt conversion

extraction

reporting

Status: Open.

#1676 In epfl-lara/stainless;

· vkuncak opened on Nov 22, 2025

Unnecessary type encoding for extern fields

feature

type encoding

Status: Open.

#1674 In epfl-lara/stainless;

· vkuncak opened on Nov 21, 2025

Crash when wrapping IArray

bug

Status: Open.

#1672 In epfl-lara/stainless;

· vkuncak opened on Nov 19, 2025

Stainless ignores without warning that return breaks flow of runtime check done by ensuring

imperative

soundiness

Status: Open.

#1671 In epfl-lara/stainless;

· vkuncak opened on Nov 17, 2025

Ghost check fails when calling a ghost function in a case class constructor for a ghost parameter

Status: Open.

#1670 In epfl-lara/stainless;

· samuelchassot opened on Nov 14, 2025

Flaky crash with lambda and List.map

bug

Status: Open.

Bug

#1667 In epfl-lara/stainless;

· sankalpgambhir opened on Oct 17, 2025