#

translation-validation

Here are 2 public repositories matching this topic...

AliveToolkit / alive2

Automatic verification of LLVM optimizations

llvm verification symbolic-execution model-checking smt llvm-ir translation-validation automatic-verification

Updated Jan 5, 2025
C++

xzhseh / translation-validator

Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification

z3 smt llvm-ir translation-validation alive2

Updated Dec 11, 2024
C++

Improve this page

Add a description, image, and links to the translation-validation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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