prepare 0.3.0 release - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

36 stars 10 forks source link

prepare 0.3.0 release #241

Closed n-osborne closed 1 month ago

n-osborne commented 1 month ago

Update maintainer field
Add Nikolaus as author for qcheck-stm plugin
Make ortac-runtime-qcheck-stm a required dependency
Restrict Gospel version
Bump version number

n-osborne commented 1 month ago

Thanks!