• added new printers:
  • control-flow-graph
  • imports-graph
  • inheritance-graph
  • inheritance-tree
  • modifiers
  • state-changes
• lsp_range and IR declaration name_location are now used in SARIF export
• implemented SolidityName Click parameter type for Solidity name shell completions
• improved wake detect and wake print help messages
• added a new Command-line interface docs page under the static analysis section
• state changes are now evaluated even for Yul blocks
• fixed crashes caused by YulLiteral.value being unset