Skip to content

Add SMT Tensor Dialect #77

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
math-fehr merged 4 commits into from
Sep 28, 2025
Merged

Add SMT Tensor Dialect #77

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b7ecd7c
Add SMT Tensor Dialect
Hatsunespica Sep 25, 2025
e30dc00
Fix comments
Hatsunespica Sep 27, 2025
fe7d496
Fix comment
Hatsunespica Sep 27, 2025
7317be8
Fix two comments
Hatsunespica Sep 28, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions xdsl_smt/cli/xdsl_smt.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@
from xdsl_smt.dialects.effects.ub_effect import UBEffectDialect
from xdsl_smt.dialects.effects.memory_effect import MemoryEffectDialect
from xdsl_smt.dialects.memory_dialect import MemoryDialect
from xdsl_smt.dialects.smt_tensor_dialect import SMTTensorDialect
from xdsl_smt.passes.lower_effects import LowerEffectPass
from xdsl_smt.passes.load_parametric_int_semantics import LoadIntSemanticsPass
from xdsl_smt.passes.lower_memory_effects import LowerMemoryEffectsPass
Expand Down Expand Up @@ -76,6 +77,7 @@ def register_all_dialects(self):
self.ctx.register_dialect(SMTIntDialect.name, lambda: SMTIntDialect)
self.ctx.register_dialect(SMTBitVectorDialect.name, lambda: SMTBitVectorDialect)
self.ctx.register_dialect(SMTArray.name, lambda: SMTArray)
self.ctx.register_dialect(SMTTensorDialect.name, lambda: SMTTensorDialect)
self.ctx.register_dialect(SMTUtilsDialect.name, lambda: SMTUtilsDialect)
self.ctx.register_dialect(EffectDialect.name, lambda: EffectDialect)
self.ctx.register_dialect(UBEffectDialect.name, lambda: UBEffectDialect)
Expand Down
2 changes: 2 additions & 0 deletions xdsl_smt/dialects/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,13 +22,15 @@ def get_smt_dialect():
from xdsl_smt.dialects.smt_dialect import SMTDialect
from xdsl_smt.dialects.smt_int_dialect import SMTIntDialect
from xdsl_smt.dialects.smt_utils_dialect import SMTUtilsDialect
from xdsl_smt.dialects.smt_tensor_dialect import SMTTensorDialect

dialects = [
SMTArray,
SMTBitVectorDialect,
SMTDialect,
SMTIntDialect,
SMTUtilsDialect,
SMTTensorDialect,
]
return Dialect(
"smt",
Expand Down
Loading