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.