Home

Welcome to the dafny wiki!

TODO

• ⚠️ Currently, there is one branch rebased on the upstream master, but features where added on the master branch

• ⚠️ This repository was not Updated (see Gitlab)

• CounterExample: Bug on counterModelProvider.ts:131 new RequestCounterExample does not adhere timer as a new instance is always created.

• Some .then cancel the plugin execution asynchronously, that should be chanced to synchrounsly

• Support all AST Elements by Visitor (DafnyPipeline/DafnyAst.cs)

• Mono-Support for Linux / macOS

• Usage Count over File Boundaries

• Rename over File Boundaries

• Release Build in GitHub

Improvement Ideas

• Use better Argument Parsing (currently done Manually)

Performance

• Various Iterations
  • Improve Incremental File Update Position Calculation