[Chore] Remove unnecessary log from z3

[Rachmanino]

Summary by CodeRabbit

• Chores
  • Updated a third-party dependency to the latest version.

_{✏️ Tip: You can customize this high-level summary in your review settings.}

[github-actions]

👋 Hi! Thank you for contributing to the TileLang project.

Please remember to run pre-commit run --all-files in the root directory of the project to ensure your changes are properly linted and formatted. This will help ensure your contribution passes the format check.

We appreciate you taking this step! Our team will review your contribution, and we look forward to your awesome work! 🚀

[coderabbitai]

📝 Walkthrough

Walkthrough

The 3rdparty/tvm submodule reference is updated from commit bc955a109d4153a409212d608c76d0435b4933e4 to commit 8f60c1fab2ed7cf5bebc9fe4c6ef303208414193.

Changes

Cohort / File(s)	Summary
Submodule Update 3rdparty/tvm	Updated submodule reference to a new commit hash.

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~2 minutes

Poem

🐰 Hop, skip, and a bound,
TVM's commit spinning 'round,
Fresh code takes the stage,
A new turning page,
Where faster paths shall be found! 🚀

🚥 Pre-merge checks | ✅ 2 | ❌ 1

❌ Failed checks (1 warning)

Check name	Status	Explanation	Resolution
Title check	⚠️ Warning	The pull request title mentions 'Remove unnecessary log from z3', but the actual change only updates a TVM submodule reference without directly addressing z3 logging.	Update the title to accurately reflect the actual change, such as '[Chore] Update 3rdparty/tvm submodule reference' or verify if the submodule update addresses the z3 logging issue indirectly.

✅ Passed checks (2 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}