I am pleased to release the version 1.1 of InvarGenT, a system that infers
invariants and postconditions, and exports the corresponding GADTs-based
OCaml code.

https://github.com/lukstafi/invargent/releases

InvarGenT is based on _Vincent Simonet and François Pottier "A
constraint-based approach to guarded algebraic data types"_ only without
subtyping and without type/invariant annotations.

Version 1.1 brings better OCaml exporting, better documentation and several
bug fixes.

Best Regards,
Łukasz Stafiniak