Search results

Dafny LanguageServer collapses

Status: Open.

#86 In DafnyVSCode/Dafny-VSCode;

· h-chal opened on Jul 25, 2023

Support multiple files in a project

Status: Open.

#69 In DafnyVSCode/Dafny-VSCode;

· losfair opened on Nov 2, 2020

Standalone language server

Status: Open.

#68 In DafnyVSCode/Dafny-VSCode;

· jorge-jbs opened on Oct 2, 2020

Remove Version pin to Dafny 2.3.0

Affects: Server

Type: Bug

Status: Open.

#67 In DafnyVSCode/Dafny-VSCode;

· fabianhauser opened on Aug 21, 2020

Dafny for VSCode times out as "idle" instead of failing verification

Type: Bug

Status: Open.

#64 In DafnyVSCode/Dafny-VSCode;

· acioc opened on Aug 13, 2020

assert fails to respond to !false in the same way as if !false

Type: Bug

Status: Open.

#63 In DafnyVSCode/Dafny-VSCode;

· davidstreader opened on Jul 20, 2020

Automatic Counter Example Quits DafnyServer

Affects: Server

Type: Bug

Status: Open.

#61 In DafnyVSCode/Dafny-VSCode;

· davidstreader opened on Jun 30, 2020

VSCode should report Dafny version and output

Affects: Client

Affects: Server

Type: Feature

Status: Open.

#60 In DafnyVSCode/Dafny-VSCode;

· davidcok opened on Jun 5, 2020

VSCode fix incorrectly inserts computed decreases

Affects: Server

Type: Bug

Status: Open.

#57 In DafnyVSCode/Dafny-VSCode;

· yannickmoy opened on Apr 13, 2020

Key not found

Affects: Server

Type: Bug

Status: Open.

#55 In DafnyVSCode/Dafny-VSCode;

· theodore-norvell opened on Jan 25, 2020

Network Timeout / Extension crash on offline usage

Affects: Client

Type: Bug

Status: Open.

#54 In DafnyVSCode/Dafny-VSCode;

· reisier opened on Nov 8, 2019

Causing ligatures to render incorrectly

Affects: Client

Type: Bug

Status: Open.

#53 In DafnyVSCode/Dafny-VSCode;

· alexsurelee opened on Oct 25, 2019