Release 0.6.0

Added

• CellBounds detector: PR #214
• ExitCodeUsage detector: PR #207
• EtaLikeSimplifications detector: PR #198
• ShortCircuitCondition detector: PR #202
• PreferredStdlibApi detector now suggest some preferred replacements for cell methods
• Add Callgraph: PR #185
• Support for browser environment: PR #231
• souffleEnabled option to disable Souffle check execution: PR #231
• Add function effects to Callgraph: PR #227

Changed

• SuspiciousMessageMode detector now suggests using SendDefaultMode instead of 0 for mode: PR #199
• CellOverflow detector was replaced with the CellBounds detector that supports both overflows and underflows: PR #214
• Renamed IR entries to follow the Tact codebase naming style

Fixed

• Missing Module version-info When Installing Misti from GitHub: Issue #216
• ExitCodeUsage Handle direct cases: Issue #218

Release contributors

• @Esorat
• @rahulyadav-57
• @jubnzv