Unclaimed project
Are you a maintainer of dafny? Claim this project to take control of your public changelog and roadmap.
Changelog
Dafny is a verification-aware programming language
A modern file manager that helps users organize their files and folders.
ShareX is a free and open-source application that enables users to capture or record any area of their screen with a single keystroke. It also supports uploading images, text, and various file types to a wide range of destinations.
Integrate cutting-edge LLM technology quickly and easily into your apps
PEASS - Privilege Escalation Awesome Scripts SUITE (with colors)
:| constructs.
Manually specified triggers and warning-suppressing attributes are also supported (and mentioned in warning messages, as for other quantifiers and comprehensions).
Enhance witness guessing for the proof obligation associated for :| assignme...Support for code actions in the language server to:
Besides --filter-position :<line>, also support `--fi...
{:isolate} and {:isolate "paths"} simplify the verification of an assertion by introducing additional verification jobs. {:isolate} can be applied to assert, return and continue statements. When using {:isolate_assertions} or --isolate-assertions, each return statement now creates a separate verification job for each ensures clause. Previously all ens...Added opaque blocks to the language. Opaque blocks enable improving verification performance. See the documentation for more details. (https://github.com/dafny-lang/dafny/pull/5761)
By blocks (... by { ... }) are now available for assert statements, call statements, and the three types of assignments (:=, :-, :|). Also, by blocks should now be more intuitive since they...
This is an automatically published nightly release. This release may not be as stable as versioned releases and does not contain release notes.