equivalence-checker
Here are 13 public repositories matching this topic...
Sort:Most stars
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
- Updated
Jun 30, 2025 - C++
Scalable Validator for Binary Lifters
- Updated
Jun 28, 2020 - LLVM
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
- Updated
Apr 2, 2020 - C++
Hardware Formal Verification
- Updated
Aug 10, 2020 - Verilog
Symbolic execution of LLVM IR
- Updated
Jan 3, 2024 - C++
Δ SInDi: Semantic Invariant Differencing for Solidity Smart Contracts
- Updated
Jun 6, 2025 - Python
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
- Updated
May 13, 2025 - Scala
- Updated
Jun 9, 2023 - VHDL
Equivalence checker for contextual formulas
- Updated
Aug 31, 2024 - Python
Test whether two pieces of CSS text are equivalent in browser
- Updated
Feb 20, 2022 - JavaScript
Parallel Quantum Simulation and Automated Reasoning on GPUs
- Updated
Jun 27, 2025 - Cuda
Designing Equivalence Checker based on ROBDD algorithm, the engine input will be 2 boolean functions and results will be ROBDD graphs with equivalence or non-equivalence results.
- Updated
Sep 25, 2024 - Python
An equivalence checker for P4 packet parsers, implemented in Python.
- Updated
Jul 2, 2025 - Python
Improve this page
Add a description, image, and links to theequivalence-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theequivalence-checker topic, visit your repo's landing page and select "manage topics."