« Changelog History


liquid-fixpoint v0.2.2.0 Release Notes

    • Added support for theory of Arrays Map_t, Map_select, Map_store

    • ➕ Added support for theory of Bitvectors -- see Language.Fixpoint.Smt.Bitvector

    • ➕ Added support for string literals