1.3.8

timtebeek released this 14 Dec 10:53

· 99 commits to main since this release

2644df3

What's Changed

Print messages once, as to not flood console by @timtebeek in #36
Thrown exceptions not in preconditons by @timtebeek in #37
Also generate UsesMethod preconditions for constructor calls by @knutwannheden in #38

Full Changelog: v1.3.6...v1.3.8

Contributors

knutwannheden and timtebeek

Assets 2