v1.10.2

1.10.2 (2025-12-18)

Bug Fixes

• contracts: address() undefined in contracts (8259adf)
• contracts: empty strings returned in contracts (457dab2)
• contracts: error generating contracts AST where the original condition, trueBody and falseBody of an if statement are included instead of the new contract specific ones (df9191e)
• contracts: fix tuple expressions (6bcd96a)
• contracts: include internal function calls in the contracts if they don't interact with secret (e7d9e70)
• contracts: mappings in returns in contracts (a67fc31)
• contracts: public booleans should be returned (21510e5)
• contracts: replace ERC with ERCShield in contract (ce020fd)
• contracts: returns for public nested mappings (a22e25a)
• contracts: semi colons for unary statements (711e810)
• contracts: semicolons after internal function calls (23063ad)
• contracts: space after delete operator (89d5dcc)
• contracts: zappify errors during contract compilation for fully public contracts (de6edee)
• orchestration: error due to constructorTx not being created as the db didn't exist (bfb2e9d)
• orchestration: exit orchestrationInternalFunctionCallVisitor if the function is public (a903b13)
• orchestration: include function signatre when a return is a boolean (d78c15f)
• orchestration: skip blocks for fully public contracts - we don't need the logic in orchestration (af31597)
• scope: zappify error for fully public contract (0a76a08)
• solidity-types: allow IdentifierPath and InheritanceSpecifier solidity types to avoid zappify bug (057fedf)
• traverse: zappify error due to no declaration for abi when checking if there is an external contract call (d5f796a)
• unsupportedChecks: remove error message for unsupported while loops - these can be supported if fully public and we already have an error for the secret case (abfb882)
• unsupportedchecks: turn off unsupported pure error for fully public contracts (69e9abb)