Version 0.6 release with basic support for symbolically execute EVM bytecode:

• ghidra/sleigh specification for EVM bytecode as described by the 2022 ethereum yellow paper
• callother implementation for all exotic EVM operations
• simulation of a deployed smart-contract frame, with its own memory and stack. Sharing code and storage between contracts is supported
• special simplifications for EVM AST patterns
• basic support for modelling symbolic transaction data that has a fixed length
• engine "duplication" capabilities

Current limitations include:

• solving symbolic KECCAK hashes