Search results

Interleaving laxing and verification

Status: Open.

#65 In FStarLang/fstar-vscode-assistant;

· andricicezar opened on Apr 30, 2026

Auto provide agent for F*

Status: Open.

#63 In FStarLang/fstar-vscode-assistant;

· parrot7483 opened on Feb 13, 2026

Show F* crashes as error squiggles

Status: Open.

#60 In FStarLang/fstar-vscode-assistant;

· gebner opened on Aug 27, 2025

Support "print elaborated definition" from fstar-mode.el

Status: Open.

#57 In FStarLang/fstar-vscode-assistant;

· gebner opened on Apr 2, 2025

Support search from fstar-mode.el

Status: Open.

#56 In FStarLang/fstar-vscode-assistant;

· gebner opened on Apr 2, 2025

Support compute from fstar-mode.el

Status: Open.

#55 In FStarLang/fstar-vscode-assistant;

· gebner opened on Apr 2, 2025

Namespace FStar.Mul cannot be found

Status: Open.

#54 In FStarLang/fstar-vscode-assistant;

· JansthcirlU opened on Mar 16, 2025

Config not read unless directory is under cwd?

Status: Open.

#52 In FStarLang/fstar-vscode-assistant;

· mtzguido opened on Feb 6, 2025

Ctrl+Click on constructor names in a let-binding does not bring the constructor into focus

Status: Open.

#38 In FStarLang/fstar-vscode-assistant;

· chandradeepdey opened on Apr 9, 2024

Go-to-definition in Pulse DSL sometimes goes to dummy file

Status: Open.

#37 In FStarLang/fstar-vscode-assistant;

· gebner opened on Apr 3, 2024

Standard error output should be shown when process dies

Status: Open.

#29 In FStarLang/fstar-vscode-assistant;

· gebner opened on Jan 11, 2024

Add LSP-level tests

Status: Open.

#26 In FStarLang/fstar-vscode-assistant;

· klinvill opened on Jan 10, 2024