AliveToolkit/alive2 — Automatic verification of LLVM optimizations

Description and use

AliveToolkit/alive2: AliveToolkit/alive2 may be useful when its README and activity match a concrete workflow.. Use it for Misc. High for an OSS candidate: recent activity, adoption, and ecosystem signals are strong enough for a serious pilot.

Problem

AliveToolkit/alive2 may be useful when its README and activity match a concrete workflow.

Outcome

High for an OSS candidate: recent activity, adoption, and ecosystem signals are strong enough for a serious pilot.

Evidence

Automatic verification of LLVM optimizations

Source