Search results

Getting executable EVM btyecode out of GASOL

Status: Open.

#53 In costa-group/gasol-optimizer;

· ibollanos opened on Nov 3, 2025

Crashes due to wrong hexadecimal format

Status: Open.

#52 In costa-group/gasol-optimizer;

· SteMak opened on Dec 17, 2024

Crashes due to floating <code>numpy</code> dependency

Status: Open.

#51 In costa-group/gasol-optimizer;

· SteMak opened on Dec 17, 2024

Optional Extra Verification using Forves

Status: Open.

#44 In costa-group/gasol-optimizer;

· alexcere opened on Feb 13, 2024

PUSH0 instruction

Status: Open.

#43 In costa-group/gasol-optimizer;

· alexcere opened on Feb 13, 2024

Revert encoding

Status: Open.

#20 In costa-group/gasol-optimizer;

· alexcere opened on Jun 21, 2022

SMT solver wrappers

Status: Open.

#18 In costa-group/gasol-optimizer;

· alexcere opened on Jun 1, 2022