v0.5.1

In this version, we have fixed some of the bugs found by the Forves project, as well as refactor the code for an easier understanding.

v.0.4.1

• Minor bug introduced with the latest commit of v0.4.0. Fixed asm_bytecode to plain method to include the pushed value for Solidity pseudo-instructions

v0.4.0

• Include support for Neural-Guided Superoptimization (NGS)
• Fix minor bugs

v0.3.0

• Support for contracts optimized with solc versions greater than 0.8.15
• Fix multiple bugs in the sequence generator
• Refactor encoding generator
• Include option -sfs to optimize a block from its SMS representation
• Include flag -length to optimize w.r.t the number of instructions

v.0.2.0

• MSTORE, SSTORE and MSTORE8 instructions can be considered in the encoding
• It allows changing the target criteria to minimize bytes-size
• An optimization report is generated, detailing the optimality findings for each analyzed block
• Blocks can be split in three different ways when performing the superoptimization
• More flexibility for optimizing from an arbitrary sequence of bytecodes
• Update opcodes parse to deal with the latest Solidity version (0.8.13)
• Errors fixed when rebuilding blocks from sub-blocks
• Major refactoring

v0.1.3

• It generates a asm json with the optimized bytecodes as output
• It fixs minor errors when considering some uninterpreted functions
• It fix minor errors in the log generation
• It adds a final verification that checks that the original asm json and the optimized one are equivalent, i.e., their blocks generates the same stack.

v0.1.2

First release of GASOL Optimizer.
It takes as input a smart contracts represented as asm jsons and optimizes all its basic blocks. It also analyzed isolated basic blocks.