Code

Add progress option#5218

Code

Merged

keyboardDrummer merged 10 commits intodafny-lang:masterdafny-lang/dafny:masterfrom keyboardDrummer:verificationProgresskeyboardDrummer/dafny:verificationProgressCopy head branch name to clipboardMar 22, 2024

+61

Commits

Commits on Mar 20, 2024

• Add more information

  keyboardDrummer

  committed
  8aae506

• Update documentation

  keyboardDrummer

  committed
  74b2d39

Commits on Mar 21, 2024

• Update Source/DafnyDriver/CliCompilation.cs

  Show description for 376b063
  

  keyboardDrummer

  and

  atomb

  authored
  376b063

• Add sed

  keyboardDrummer

  committed
  7c792ad

• Merge branch 'verificationProgress' of github.com:keyboardDrummer/dafny into verificationProgress

  keyboardDrummer

  committed
  3ca075b

• Updates

  keyboardDrummer

  committed
  165e62b

• Fix culture

  keyboardDrummer

  committed
  83a12a3

• Merge branch 'master' into verificationProgress

  atomb

  authored
  623d9e7

Commits on Mar 22, 2024

• Merge branch 'master' into verificationProgress

  atomb

  authored
  c3c791b

• Merge branch 'master' into verificationProgress

  keyboardDrummer

  authored
  abc5489