v0.4.2
This release includes several one feature and several bug fixes.
Feature:
if_succedsannotations are now allowed on contract definitions. They are automatically applied to all public/view non-pure functions in this contract, and all inheriting contracts.
Bug fixes: