[all-commits] [llvm/llvm-project] d903f6: [mlir][SMT] fix MLIRExportSMTLIB by linking MLIRAr...

[Maksim Levental via All-commits]

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

  Changed paths:
    M mlir/lib/Target/SMTLIB/CMakeLists.txt

  Log Message:
  -----------
  [mlir][SMT] fix MLIRExportSMTLIB by linking MLIRArithDialect



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