Search results

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

Existential elimination should try to avoid name clashes

Status: Open.

#425 In FStarLang/pulse;

· gebner opened on Jul 10, 2025

Merge references, arrays, and pointers

Status: Open.

#405 In FStarLang/pulse;

· gebner opened on Jun 14, 2025

Some operators require parentheses

Status: Open.

#378 In FStarLang/pulse;

· gebner opened on Mar 5, 2025

Unfold cannot unfold local slprop definitions

Status: Open.

#369 In FStarLang/pulse;

· gebner opened on Feb 28, 2025

ifuel 0 breaks unfolding

Status: Open.

#368 In FStarLang/pulse;

· gebner opened on Feb 28, 2025

Unexpected and unhelpful errors with type ascription

Status: Open.

#366 In FStarLang/pulse;

· gebner opened on Feb 27, 2025

Implicit instantiation can fill in informative values from slprops.

Status: Open.

#365 In FStarLang/pulse;

· mtzguido opened on Feb 27, 2025

Temporary variable sometimes required for checking

Status: Open.

#347 In FStarLang/pulse;

· gebner opened on Feb 18, 2025