Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
lib
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

sorg

A Super Optimization based Rule Generator

The tool sorg takes a sequence of EVM bytecode instructions s and an observationally equvivalent optimized sequence of EVM bytecode instructions t and generates a rewrite rule, which can be used for peephole optimizations.

Example

$ sorg "PUSH 0 SUB PUSH 3 ADD PUSH 42" "PUSH 3 SUB PUSH 42"

PUSH 0 SUB PUSH w_3 ADD => PUSH w_3 SUB

About

SuperOptimization based Rule Generation

Resources

License

Packages

No packages published