Search results

Bad error message for type-checking failures

Status: Open.

#580 In FStarLang/pulse;

· gebner opened on Mar 2, 2026

Builds produce two plugins

Status: Open.

#572 In FStarLang/pulse;

· gebner opened on Feb 25, 2026

KaRaMeL extraction: Erased type parameter monomorphized as any vs () across .fsti boundary

Status: Open.

#564 In FStarLang/pulse;

· elefthei opened on Feb 19, 2026

KaRaMeL extraction: type alias not normalized in alloc, causes subtype mismatch

Status: Open.

#556 In FStarLang/pulse;

· elefthei opened on Feb 10, 2026

Variable not found for the type of a with assertion

Status: Open.

#528 In FStarLang/pulse;

· mtzguido opened on Jan 23, 2026

Source files are copied to the out directory

Status: Open.

#508 In FStarLang/pulse;

· gebner opened on Nov 12, 2025

Annotated function types do not work with recursion

Status: Open.

#477 In FStarLang/pulse;

· gebner opened on Aug 27, 2025

with .. unfold wrongly binds at unit type

Status: Open.

#473 In FStarLang/pulse;

· mtzguido opened on Aug 22, 2025

Post-condition inference fails without rewrites_to

Status: Open.

#455 In FStarLang/pulse;

· gebner opened on Jul 29, 2025

ANF will not descend into if, match, etc

Status: Open.

#443 In FStarLang/pulse;

· mtzguido opened on Jul 15, 2025

Should we also hoist/ANF ghost calls?

Status: Open.

#442 In FStarLang/pulse;

· mtzguido opened on Jul 15, 2025

Non-prop squashes appear non-functional

Status: Open.

#430 In FStarLang/pulse;

· gebner opened on Jul 11, 2025