« Changelog History


liquid-fixpoint v0.2.0.0 Release Notes

    • Parsing has been improved to require much fewer parentheses.

    • 👍 Experimental support for Z3's theory of real numbers with the --real flag.