[TYPES] [ANN] InvarGenT: GADTs-based invariant/postcondition generation
Lukasz Stafiniak <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAJMfKEXqdM4K-20jKR0YtNo=odwKCK62xcuC7fEpK=dsBKzhjw__17851.7711851329$1386801417$gmane$org@mail.gmail.com> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Hello, I am pleased to release the first version of InvarGenT, a system that performs full type inference for a type system with GADTs, and also generates new GADTs to serve as existential types. In addition to algebraic types, the first version handles linear arithmetic constraints. https://github.com/lukstafi/invargent/releases/tag/v1.0 Regards, Łukasz Stafiniak