[all-commits] [llvm/llvm-project] acf964: [mlir][SMT] add export smtlib (#131492)

[Maksim Levental via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: acf964b95f5421cc372719139b427be37ad79e7e
      https://github.com/llvm/llvm-project/commit/acf964b95f5421cc372719139b427be37ad79e7e
  Author: Maksim Levental <maksim.levental at gmail.com>
  Date:   2025-04-12 (Sat, 12 Apr 2025)

  Changed paths:
    M mlir/include/mlir/InitAllTranslations.h
    A mlir/include/mlir/Target/SMTLIB/ExportSMTLIB.h
    A mlir/include/mlir/Target/SMTLIB/Namespace.h
    A mlir/include/mlir/Target/SMTLIB/SymCache.h
    M mlir/lib/Target/CMakeLists.txt
    A mlir/lib/Target/SMTLIB/CMakeLists.txt
    A mlir/lib/Target/SMTLIB/ExportSMTLIB.cpp
    A mlir/test/Target/SMTLIB/array.mlir
    A mlir/test/Target/SMTLIB/attributes.mlir
    A mlir/test/Target/SMTLIB/bitvector-errors.mlir
    A mlir/test/Target/SMTLIB/bitvector.mlir
    A mlir/test/Target/SMTLIB/core-errors.mlir
    A mlir/test/Target/SMTLIB/core.mlir
    A mlir/test/Target/SMTLIB/integer-errors.mlir
    A mlir/test/Target/SMTLIB/integer.mlir

  Log Message:
  -----------
  [mlir][SMT] add export smtlib (#131492)

This PR adds the `ExportSMTLIB` translation/egress pass for `SMT`
dialect.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications