0.2 - 2026-03-04

• new API for Path_condition which makes enforcing invariants easier
• expose Path_condition.pp
• substitute equalities in the path condition

0.1 - 2026-02-09

• first release