v0.18.3

github-actions released this 08 Feb 22:02

· 552 commits to main since this release

v0.18.3 -- 2024-02-08

Added

Changed

Deprecated

Removed

Fixed

Erroneous effect checking failure resulting from invalid occurs check. This
error prevented some valid specs from being simulated or verified (#1359).
Regression on ITF production, where we stopped producing ITF traces on
successful runs (#1362)

Security

Assets 2