Checks if the given address is the zero address.

Opens file for given test case and waits for diagnostics to be published.

Changes the format of the metadata appended at the end of the bytecode.

@returns all artifact names of the EVM object, either for creation or deploy time.

Checks whether _c is a decimal digit character. It uses the classic "C" locale semantics. @param _c character to be checked @return true if _c is a de

Predicates

@returns the PUSH<_number> instruction

ABI encoded `bytes` of parsed parameters. These `bytes` passed to the function call.

@returns the two's complement signed representation of the signed number _u.

std::optional<TypeClass> experimental::typeClassFromTypeClassName(TypeClassName const& _typeClass) { return std::visit(util::GenericVisitor{ [&](AS

Adds a subroutine to the code (in the data section) and pushes its size (via a tag) on the stack. @returns the pushsub assembly item.

Returns (old_ir_optimized, old_legacy_optimized, old_legacy, old_ssa_cfg_optimized, new_ir_optimized, new_legacy_optimized, new_legacy, new_s

@returns a new vector_ref which is a shifted and shortened view of the original data. If this goes out of bounds in any way, returns an empty vector_r

@returns true if this is a string