search

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
36 stars 10 forks source link

Add minimal version for Monolith #243

Closed n-osborne closed 1 month ago

n-osborne commented 1 month ago

This version brings the last breaking change in Monolith.