superoptimizer

Here are 6 public repositories matching this topic...

A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren

c tool optimization bit-manipulation optimization-tools aha superoptimizer

Automatic peephole optimizer for Cranelift JIT compiler

rust optimizer jit aot codegenerator codegen optimizations peephole cranelift superoptimizer

playing with superoptimizers

vm assembly superoptimizer

LLVM IR superoptimizer for HexCore — Z3 SMT-based synthesis engine for the Remill → Souper → Helix decompilation pipeline.

llvm decompiler reverse-engineering z3 binary-analysis smt napi superoptimizer hexcore-ide ir-optimization

An (incomplete) WebAssembly superoptimizer. MSc thesis project at UU (2021).

webassembly superoptimizer

A verified WebAssembly superoptimizer in Rust with SSA search, CEGIS, Z3 proofs, and i32/i64 support.

To associate your repository with the superoptimizer topic, visit your repo's landing page and select "manage topics."