search

dafny-lang / dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification
MIT License
3 stars 4 forks source link

Bump package version for 1.2.0 release #15

Closed atomb closed 2 years ago