dafny

Description:Dafny is a verification-aware programming language
License: MIT
Homepage:https://dafny.org/ https://github.com/dafny-lang/dafny/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
4.3.0 diff - ~ - - - - - - - - - - -
4.2.0 - ~ - - - - - - - - - - -

USE flags

  • debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
  • test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Also available in: Atom

Thank you!