List view

• 5232

  No due date
  0% complete0 open0 closed

• Dafny Standard Libraries

  Some key design points: * All such standard libraries will be enabled/disabled with a single switch, `--use-stdlibs`, which will be on by default but off by default in integration tests, to ensure that the language itself does not become dependent on these libraries. * They will be pre-verified and built to one or more `.doo` files, which `--use-stdlibs:true` will add as implicit `--library` arguments. * They will also be pre-compiled and added to the various runtimes. Users will be discouraged from directly referring to any thing in the runtime artifacts, as they are intended to only support Dafny code.

  No due date

  •13/15 issues closed
  86% complete2 open13 closed

• IDE support for verification

  Anything related to IDE support for verification

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• IDE performance scales to large projects

  No due date

  •2/6 issues closed
  33% complete4 open2 closed

• Library support

  Make it easy for Dafny projects to reference other Dafny projects as dependencies. Contains support for: - Remote dependencies - Dependencies with dependencies - Handling version conflicts - Mechanisms to prevent the consumption of unverified libraries

  No due date

  •0/10 issues closed
  0% complete10 open0 closed

• Standalone Dafny

  Enable writing (a subclass of) applications using only Dafny

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• Standard IDE features

  No due date

  •4/8 issues closed
  50% complete4 open4 closed

• Verification Durability

  See https://github.com/dafny-lang/dafny/issues/1582

  No due date

  •13/23 issues closed
  56% complete10 open13 closed