Search results

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

Status: Open.

#556 In FStarLang/pulse;

· elefthei opened on Feb 10, 2026

break / continue / goto fail / early return

Status: Open.

#529 In FStarLang/pulse;

· gebner opened on Jan 27, 2026

Variable not found for the type of a <code>with</code> 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

Pulse expects type constructors to be injective

Status: Open.

#495 In FStarLang/pulse;

· gebner opened on Oct 20, 2025

Annotated function types do not work with recursion

Status: Open.

#477 In FStarLang/pulse;

· gebner opened on Aug 27, 2025

<code>with .. unfold</code> 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

Expected type of arguments not (always?) useds

Status: Open.

#429 In FStarLang/pulse;

· mtzguido opened on Jul 11, 2025