SkillAgentSearch skills...

Sorg

SuperOptimization based Rule Generation

Install / Use

/learn @mariaschett/Sorg
About this skill

Quality Score

0/100

Supported Platforms

Universal

README

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

Related Skills

View on GitHub
GitHub Stars12
CategoryDevelopment
Updated1y ago
Forks2

Languages

OCaml

Security Score

75/100

Audited on Nov 5, 2024

No findings