v0.18.0

v0.18.0 -- 2024-01-03

Added

• Add a run operator A.expect(P) to test the state predicate P in the state resulting from applying action A (#1303)

Changed

• Change in A.then(B): If A returns false, A.then(B) fails (#1304)

Deprecated

Removed

Fixed

• Detect import paths that only differ in capitalization (#1295)

Security