Moved ValidationPass to Kirin

zhenrongliew · zhenrongliew · commit aeaea1c36a98 · 2025-11-12T13:01:55.000-05:00
diff --git a/src/bloqade/analysis/validation/nocloning/analysis.py b/src/bloqade/analysis/validation/nocloning/analysis.py
@@ -5,6 +5,7 @@
 from kirin.dialects import func
 from kirin.ir.exception import ValidationError
 from kirin.analysis.forward import ForwardFrame
+from kirin.validation.validationpass import ValidationPass
 
 from bloqade.analysis.address import (
     Address,
@@ -19,7 +20,6 @@
     PartialTuple,
     UnknownQubit,
 )
-from bloqade.analysis.validation.validationpass import ValidationPass
 
 from .lattice import May, Top, Must, Bottom, QubitValidation
 
diff --git a/src/bloqade/analysis/validation/validationpass.py b/src/bloqade/analysis/validation/validationpass.py
diff --git a/test/analysis/validation/test_compose_validation.py b/test/analysis/validation/test_compose_validation.py
@@ -1,8 +1,8 @@
 import pytest
+from kirin.validation.validationpass import ValidationSuite
 
 from bloqade import squin
 from bloqade.analysis.validation.nocloning import NoCloningValidation
-from bloqade.analysis.validation.validationpass import ValidationSuite
 
 
 def test_validation_suite():
