v1.1.3

1.1.3 (2026-02-27)

Bug Fixes

• rust: encode non-zero line invariant in API (#31) (9966022)

v1.1.2

1.1.2 (2026-02-25)

Bug Fixes

• handle immutable releases (#21) (13480bc)

v1.1.1

1.1.1 (2026-02-25)

Bug Fixes

• tie rust export borrows to analysis lifetime (0fed125)
• update release.yml (7050760)

v1.1.0

1.1.0 (2026-02-25)

Features

• add C API (#12) (db663af)
• add rust crate (c964cd5)

Bug Fixes

• simplify things in rust crate (f4e857e)
• use thread_local last error tracking (f529e8b)

v1.0.1

1.1.0 (2026-02-02)

Features

• initial commit (55fdeca)

Bug Fixes

• header file name (#6) (d499aa9)