Summary
Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write both code and specifications in the Dafny programming language itself. Since verification is an integral part of development, it will thus reduce the risk of costly late-stage bugs that are typically missed by testing. Dafny has support for common programming concepts such as classes and trait inheritance, inductive datatypes that can have methods and are suitable for pattern matching, lazily unbounded datatypes, subset types e.g. for bounded integers, lambdas, and immutable and mutable data structures. Dafny also offers an extensive toolbox for mathematical proofs, such as unbounded and bounded quantifiers, calculational proofs, pre- and post-conditions, termination conditions, loop invariants, and read/write specifications.
Versions
v4.10.0 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- -* ~amd64
v4.9.1 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- -* amd64
Runtime Dependencies
dev-lang / dafny : Dafny is a verification-aware programming language
dev-libs / userspace-rcu : Userspace RCU (read-copy-update) library
dev-util / lttng-ust : Linux Trace Toolkit - UST library
sci-mathematics / z3 : An efficient theorem prover
Depending packages
dev-lang / dafny : Dafny is a verification-aware programming language
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.10.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 4.9.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolić · gentoo
dev-lang/dafny-bin: Stabilize 4.9.1 amd64, #949295
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.9.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 4.8.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/dafny-bin: Stabilize 4.9.0 amd64, #945928
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.9.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 4.7.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/dafny-bin: Stabilize 4.8.1 amd64, #942018
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.8.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 4.6.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-lang/dafny-bin: Stabilize 4.7.0 amd64, #937076
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.7.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 4.5.0-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 4.4.0-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/dafny-bin: Stabilize 4.6.0 amd64, #930843
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: restrict binary stripping
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.6.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.5.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 4.3.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/dafny-bin: Stabilize 4.4.0 amd64, #922369
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.4.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 4.2.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.12.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-lang/dafny-bin: Stabilize 4.2.0 amd64, #916395
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.3.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.10.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/dafny-bin: Stabilize 3.12.0 amd64, #914366
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 4.2.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.11.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.12.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/dafny-bin: Stabilize 3.10.0 amd64, #892820
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.9.1-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.9.0-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.11.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.8.1-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.10.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: depend on lttng-ust with SLOT=0/2.12
Closes: https://bugs.gentoo.org/875614 Bug: https://bugs.gentoo.org/798990 Bug: https://bugs.gentoo.org/872605 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.8.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.9.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.7.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.9.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.7.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.8.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: drop old 3.7.1-r2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.8.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.7.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: bump to 3.7.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: use insopts
Closes: https://bugs.gentoo.org/855365 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: add missing runtime deps; exe bit for ibs
Closes: https://bugs.gentoo.org/855215 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/dafny-bin: new package; add version 3.7.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>