Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification
-
Updated
Dec 11, 2024 - C++
#
alive2
Here are 2 public repositories matching this topic...
A complete visual teardown of LLVM 23, taught from zero, where you run the real optimizer in a notebook, modify it with a pass plugin in ten seconds, and a solver proves whether the optimization you wrote is correct. Blueprints generated from TableGen, and a conformance scorecard attached.
visualization education compiler notebook optimization llvm ssa jit clang teaching colab code-generation formal-verification llvm-ir learning-resources manim tablegen alive2 compiler-internals llvm-internals
-
Updated
Sep 2, 2026 - Python
Add this topic to your repo
To associate your repository with the alive2 topic, visit your repo's landing page and select "manage topics."