* [Caml-list] [ANN] InvarGenT v2.0: Great coverage
@ 2015-02-18 2:05 Lukasz Stafiniak
0 siblings, 0 replies; only message in thread
From: Lukasz Stafiniak @ 2015-02-18 2:05 UTC (permalink / raw)
To: Caml
I am pleased to release version 1.2 of InvarGenT, a system that infers
invariants and postconditions, and exports the corresponding
GADTs-based OCaml code.
https://github.com/lukstafi/invargent/releases
The flagship AVL trees example now does not need assertions:
https://github.com/lukstafi/invargent/blob/master/examples/avl_tree.gadt
https://github.com/lukstafi/invargent/blob/master/examples/avl_tree.gadti.target
Changes:
* Syntax sugar for if / eif - then - else and function definitions.
* Constant coefficients syntax for expressions.
* Built-in syntax for run-time failures.
* Many command-line options to control inference.
* Multiple bug fixes and algorithms improvements.
* Many new tests in the examples directory.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-02-18 2:06 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-02-18 2:05 [Caml-list] [ANN] InvarGenT v2.0: Great coverage Lukasz Stafiniak
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox