Search results

Use the new dotnet tool

Status: Open.

#23 In dafny-lang/dafny.msbuild;

· MikaelMayer opened on Jan 10, 2023

Specify Dafny version to use

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In dafny-lang/dafny.msbuild;

· lavaleri opened on Aug 22, 2022

DafnyVerifyTask defaults to maximum parallelism

Status: Open.

#20 In dafny-lang/dafny.msbuild;

· robin-aws opened on Nov 12, 2021

Bug: occasionally phantom verification failures

Status: Open.

#19 In dafny-lang/dafny.msbuild;

· robin-aws opened on May 22, 2020

Move parallel verification support into Dafny CLI instead

Status: Open.

#17 In dafny-lang/dafny.msbuild;

· robin-aws opened on May 13, 2020

Configure Dafny verification as a code analyzer

Status: Open.

#9 In dafny-lang/dafny.msbuild;

· robin-aws opened on Mar 12, 2020

Output summary of verification times per file

Status: Open.

#8 In dafny-lang/dafny.msbuild;

· robin-aws opened on Mar 12, 2020

More thorough testing needed

Status: Open.

#6 In dafny-lang/dafny.msbuild;

· robin-aws opened on Mar 11, 2020

Don't short-circuit in VerifyDafny task

Status: Open.

#5 In dafny-lang/dafny.msbuild;

· robin-aws opened on Mar 10, 2020

Include dependent DLLs when compiling

Status: Open.

#2 In dafny-lang/dafny.msbuild;

· robin-aws opened on Jan 14, 2020