Search results

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

Remove fragmentation code and tests that handle reordering

Status: Open.

#25 In FStarLang/fstar-vscode-assistant;

· klinvill opened on Jan 10, 2024

Formatter moves in into comments

Status: Open.

#15 In FStarLang/fstar-vscode-assistant;

· chandradeepdey opened on Aug 25, 2023

Error jumping between two locations

Status: Open.

#14 In FStarLang/fstar-vscode-assistant;

· tdardinier opened on Aug 1, 2023

Outline is empty

Status: Open.

#10 In FStarLang/fstar-vscode-assistant;

· hacklex opened on Apr 30, 2023