search

awakesecurity / spectacle

Embedded specification language & model checker in Haskell
Apache License 2.0
175 stars 12 forks source link

Publish a new revision of `spectacle-1.0.0` to remove the changelog entry #43

Open ixmatus opened 2 years ago

ixmatus commented 2 years ago

Since we're now at version 1.0.0, the changelog entries should be reserved for any versions released after this version.