« Changelog History


liquid-fixpoint v0.2.1.0 Release Notes

    • Pre-compiled binaries of the underlying ocaml solver are now provided for Linux, Mac OSX, and Windows.

    No more need to install Ocaml!