Search results

Foundry mode

Status: Open.

#118 In leonardoalt/yools;

· leonardoalt opened on Oct 18, 2022

Support Solidity files

Status: Open.

#117 In leonardoalt/yools;

· leonardoalt opened on Oct 18, 2022

Support Yul objects

Status: Open.

#78 In leonardoalt/yools;

· leonardoalt opened on Sep 21, 2022

Replace <code>define-const</code> by <code>define-fun</code> (resp. <code>declare-*</code>)

hacktoberfest

Status: Open.

#69 In leonardoalt/yools;

· leonardoalt opened on Sep 17, 2022

Support <code>leave</code>

Status: Open.

#26 In leonardoalt/yools;

· leonardoalt opened on Sep 2, 2022

Support break/continue in loops

Status: Open.

#25 In leonardoalt/yools;

· leonardoalt opened on Sep 2, 2022