nixpkgs / dafny - A programming language with built-in specification constructs

Homepage - https://research.microsoft.com/dafny

License - MIT

Maintainers - Guillaume Maudoux

Releases

2.3.0 (expand/collapse)
From commit 0218f30a to 00460bd6
2.1.0 (expand/collapse)
From commit 0767de3d to 0767de3d
2.3.0 (expand/collapse)
From commit 01f11297 to 00610756
2.1.0 (expand/collapse)
From commit 06917a44 to 06917a44
2.3.0 (expand/collapse)
From commit 06d3491d to 00b8139c
2.1.0 (expand/collapse)
From commit 00f08c6c to 00f08c6c
2.3.0 (expand/collapse)
From commit 03481d23 to 01f10d01
2.1.0 (expand/collapse)
From commit 00e914cb to 00e914cb
2.3.0 (expand/collapse)
From commit 0171d504 to 0171d504
2.1.0 (expand/collapse)
From commit 0197c057 to 0197c057
2.3.0 (expand/collapse)
From commit 02d75034 to 07b0f009
2.1.0 (expand/collapse)
From commit 00be2a4a to 072a7558
2.3.0 (expand/collapse)
From commit 02a0ae6d to 0266ca8d
2.1.0 (expand/collapse)
From commit 07e7a67f to 06ffd2b2
1.9.8 (expand/collapse)
From commit 0552147a to 0552147a
2.1.0 (expand/collapse)
From commit 05f5cdcf to 061a16a4
1.9.8 (expand/collapse)
From commit 01ca9164 to 01a49f38