Update READMEs (wrapper plugin, packages, Stdlib support)

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

38 stars 10 forks source link

Update READMEs (wrapper plugin, packages, Stdlib support) #112

Closed shym closed 1 year ago

shym commented 1 year ago

Update READMEs following a series of modifications brought in various previous commits:

the creation of the wrapper plugin,
the reorganisation of the various packages (creation of the wrapper one, but also renaming the ortac into ortac-core),
the full support of the Gospel Stdlib, so that the corresponding limitation can be removed from the documentation.

Closes #100

shym commented 1 year ago

Having a quick look at the rendering, I notice that I’ve been a bit inconsistent with “Wrapper” vs “wrapper”. Which one should we settle on?

shym commented 1 year ago

Thank you for this precise review. I’ve taken your comments into account (and not rebased, to make the comparison easier; this PR does not conflict with the newer updates on main, so rebasing is not really necessary).