« Changelog History


liquid-fixpoint v0.3.0.0 Release Notes

    • 0️⃣ Make interpreted mul and div the default, when solver = z3
    • 👉 Use higherorder flag to allow higher order binders into the environment