Dafny is a verification-aware programming language
Stars
3.3k
Forks
311
Watchers
3.3k
Open Issues
1.4k
Overall repository health assessment
No package.json found
This might not be a Node.js project
933
commits
586
commits
441
commits
359
commits
294
commits
275
commits
226
commits
212
commits
171
commits
143
commits
feat: Allow functions to depend on allocation set (#6407)
b262447View on GitHubfeat: implement ZonedDateTime module (CI issues fixed) (#6413)
ae19459View on GitHubfix: fix module Collections.Seq functions using a binary predicate (#6412)
90c227bView on GitHubfeat: Add wellformedness checks and unchecked methods for floating-point operators (#6415)
c33a5f4View on GitHubfeat: Add fp32 type support with IEEE 754 semantics (#6400)
e59076fView on GitHubInitial implementation of LocalDateTime and Duration Module (#6389)
68fb5edView on GitHub