-
a200af7 [BUILD] Drop the packaging dependency and bump to 0.1.0b1 (#200) by Tianqi Chen · 13 hours ago main
-
506a968 [DOCS][Rust] Add std-style rustdoc to the TIRx Rust API (#199) by Linzhang Li · 14 hours ago
-
37e6ef0 [DOCS] Illustrate TIRx authoring layers with an HTML diagram (#196) by Shushi Hong · 16 hours ago
-
9780ccb [Rust] Bump tvm-ffi, construct WalkResult::InterruptWith directly; link blog post in README (#197) by Tianqi Chen · 17 hours ago
-
dcc02de [DOCS] Link README to the compiler foundation blog post (#195) by Bohan Hou · 19 hours ago
-
24173d5 [Rust] Update TVM FFI and use Result<UnchangedOr<Any>> map and mutate results (#194) by Tianqi Chen · 21 hours ago
-
123543a [Fix][CUDA] Align device target architecture detection (#193) by Shushi Hong · 21 hours ago
-
d7347e6 [FIX] Drop cancelled iterator-map splits before fusion (#191) by Tianqi Chen · 21 hours ago
-
95518b0 [DOCS][Rust] Add constraint-aware traversal and clarify visitors and mutators (#192) by Tianqi Chen · 22 hours ago
-
74d2576 [Rust] Add constraint-aware structural map and mutation (#189) by Tianqi Chen · 23 hours ago
-
fc4ebf8 [REFACTOR] Rename examples/extension (#190) by Linzhang Li · 23 hours ago
-
2807104 [DOCS] Add a Writing Builder Code section with @T.function.builder (#188) by Tianqi Chen · 23 hours ago
-
7e49a14 [Rust] Add constraint-aware structural visit and walk (#187) by Tianqi Chen · 25 hours ago
-
60a0722 [REFACTOR][RUST] refactor the rust files for readibility (#186) by Linzhang Li · 25 hours ago
-
df86f98 [Rust] Update TVM FFI and rename rs_class to rs_object (#185) by Linzhang Li · 2 days ago
-
0016389 [FIX][CUDA] Register void result types for several functions (#184) by Linzhang Li · 2 days ago
-
ad4a679 [DOCS] Show the complex multiplication formula as text (#181) by Linzhang Li · 2 days ago
-
a234163 [DOCS][Rust] Explain generic #[dispatch] in the Rust IR guide (#182) by Tianqi Chen · 2 days ago
-
b1a06d6 [DOCS] Focus README emphasis on key phrases (#183) by Bohan Hou · 2 days ago
-
e5342c3 [DOCS] Refresh README positioning and features (#179) by Bohan Hou · 2 days ago
-
a28b1ea [DOCS] Lead the extension tutorial with its goal and add a Python version (#180) by Linzhang Li · 2 days ago
-
30bc80a [Rust] Update TVM FFI and explicit dispatch contracts (#178) by Tianqi Chen · 2 days ago
-
019da20 [FIX][Codegen] Correct C emission and Target host serialization (#172) by Lei Wang · 2 days ago
-
c8d0ae6 [DOCS][RUST] Polish the extension tutorial and example (#176) by Linzhang Li · 2 days ago
-
7aa3ea8 [Transform] Preserve view pointer types in LowerTensorLayouts (#169) by Lei Wang · 2 days ago
-
1470dd0 [DOCS] Clarify guide structure and core concepts (#175) by Ruihang Lai · 2 days ago
-
2025a90 [Rust] Update FFI and migrate structural dispatch (#170) by Tianqi Chen · 2 days ago
-
16e9011 [FEAT][RUST] Add PrimExpr and IntExpr typed expression views (#167) by Linzhang Li · 3 days ago
-
1c71162 [Fix][TIRx] Restore default Z3 fallback in tile lowering (#166) by Shushi Hong · 3 days ago
-
32b4eee [CI] Pin manylinux CUDA images to tlcpack mirror (#168) by Tianqi Chen · 3 days ago
-
3e67e12 [Rust] Update pinned FFI and migrate borrowed IR APIs (#165) by Tianqi Chen · 3 days ago
-
c8f6874 [DOCS] Color sphinx-tabs with the theme in light and dark modes (#164) by Linzhang Li · 3 days ago
-
6ae0016 [IR] Fix structural equality and hashing of function attributes (#163) by Lei Wang · 3 days ago
-
f1961b9 [DOCS] Shorten README title to fit one line (#162) by Tianqi Chen · 3 days ago
-
37b5839 [REFACTOR][RUST] Look up operators with Op::get and remove OpHandle (#160) by Linzhang Li · 3 days ago
-
7c19669 [DOCS] Concise README, native Rust layout note, and .asf.yaml homepage (#161) by Tianqi Chen · 3 days ago
-
03cb482 [Fix][TIRx] Verify small tile domains before symbolic proof (#159) by Shushi Hong · 3 days ago
-
3ad801c [BUILD][Rust] Use TVM FFI sources and pin registry dependencies at release (#158) by Tianqi Chen · 4 days ago
-
501635d [FEAT] Add Rust primitive expression operator overloads (#157) by Tianqi Chen · 4 days ago
-
558c3b9 [DOCS] Add the TVM-FFI Object System sections to the Rust and C++ guides (#156) by Tianqi Chen · 4 days ago
-
5d3ac39 [CI] Use Ninja for Windows and bump version to 0.1.0b0 (#155) by Tianqi Chen · 4 days ago
-
e45a49d [Fix][TIRx] Make layout analysis state explicit and reusable (#146) by Shushi Hong · 4 days ago
-
e2e48f3 [DOCS] Add Working with IR in C++ and Rust chapters (#152) by Tianqi Chen · 4 days ago
-
043ace5 [REFACTOR] Require sequence bodies and mark function declarations (#153) by Tianqi Chen · 4 days ago
-
82bf83e [DOCS] Restructure IR Guides for scanning: tables, notes, shorter paragraphs (#151) by Tianqi Chen · 4 days ago
-
906463b [DOCS] Rewrite Symbolic Integer Analysis, move pass guidance to the reference (#150) by Tianqi Chen · 4 days ago
-
116f520 [DOCS] Reorganize IR Guides and rewrite the structural traversal chapter (#149) by Tianqi Chen · 4 days ago
-
46824af [CI] Unify Jenkins builds around pinned manylinux wheels (#148) by Tianqi Chen · 4 days ago
-
de910cb [FEAT] Render structural callback failures as underlined TVMScript (#147) by Tianqi Chen · 5 days ago
-
139f56f [FEAT] Add T.function.builder for explicit Python construction (#145) by Tianqi Chen · 5 days ago
-
fef2d09 [FIX] Preserve division semantics in canonical comparisons (#141) by Tianqi Chen · 5 days ago
-
3c40ca4 [DOCS][IR] Restructure Functions and Modules around a two-function module and GlobalVar (#144) by Tianqi Chen · 5 days ago
-
b2a992e [DOCS][IR] Rewrite Printing and Parsing around why, the parser, and the builder (#143) by Tianqi Chen · 5 days ago
-
4a76fe3 [FIX] Respect unsigned subtraction underflow in constant bounds (#142) by Tianqi Chen · 5 days ago
-
7fae5ca [FIX] Count assertions in automatic unroll cost (#140) by Tianqi Chen · 5 days ago
-
8d5a720 [FIX] Preserve loop enum formatting on Python 3.10 (#139) by Tianqi Chen · 5 days ago
-
a63362c [DOCS][IR] Operators, Calls, and Regions; Op.register; enum display in format_tree (#136) by Tianqi Chen · 6 days ago
-
ace4cc0 [DOCS] Restructure Statements and complete Types and Expressions (#135) by Tianqi Chen · 6 days ago
-
ee3c8fc [DOCS] Restructure Types and Expressions around expression types (#134) by Tianqi Chen · 6 days ago
-
5ac1682 [DOCS] Introduce IR tree display before the class hierarchy (#133) by Tianqi Chen · 6 days ago
-
6141692 [DOCS] Add guides for working with IR (#109) by Shushi Hong · 6 days ago
-
47ceb5d [DOCS][RUST] Use the published tvm-tirx crate in the extension example (#130) by Linzhang Li · 6 days ago
-
041dd6d [Sym] Enable Z3 fallback for default proof queries (#132) by Lei Wang · 6 days ago
-
b83c5c0 [Bump] Bump version to 0.1.0a6 (#131) by Shushi Hong · 6 days ago
-
c562a0b [Fix] Select persistent scheduler ordering at parse time (#129) by Shushi Hong · 7 days ago
-
960a2b2 [FEAT][RUST] Prepare the tvm-tirx crate and add the ci (#128) by Linzhang Li · 7 days ago
-
436f2a7 [DOCS][RUST] Add a tvm-tirx extension tutorial (#122) by Linzhang Li · 7 days ago
-
4ed8610 [DOCS] Use format_tree for interactive IR walkthrough examples (#126) by Shushi Hong · 7 days ago
-
bc75653 [DOCS] Restructure and polish programming guides (#124) by Tianqi Chen · 7 days ago
-
b40bf2d [FIX] Preserve void error-call types during lowering (#125) by Tianqi Chen · 7 days ago
-
2739698 [DOCS] Make the IR walkthrough self-contained and expand examples (#123) by Shushi Hong · 7 days ago
-
1760c72 [REFACTOR][RUST] Replace the Placeholder of IR types with the Unsafeinit (#121) by Linzhang Li · 7 days ago
-
b65b88a [DOCS] Polish IR Overview (#120) by Tianqi Chen · 8 days ago
-
34b8f22 [FEAT] Add reflected IR tree inspection (#119) by Tianqi Chen · 8 days ago
-
0d2205f [CI] Split minimal example runners and cover Windows and macOS (#115) by Tianqi Chen · 8 days ago
-
4d894c4 [FEAT][RUST] Complete OpDef chains when they are dropped (#116) by Linzhang Li · 8 days ago
-
59a7b02 [FIX] Defer eager generic tensor annotations (#114) by Tianqi Chen · 8 days ago
-
52e6142 [CI] Run minimal examples in CPU and GPU unit tests (#113) by Tianqi Chen · 8 days ago
-
bf804cb [DOCS] Polish Quick Start and landing page; bump to 0.1.0a5 (#112) by Tianqi Chen · 8 days ago
-
2c9ee25 [DOCS][RUST] Add the Rust API reference to the documentation site (#91) by Linzhang Li · 8 days ago
-
cf0d8fb [FEAT] Expose tvm_tirx.compile as the canonical build API (#111) by Tianqi Chen · 8 days ago
-
354c069 [FIX] Accept generic function decorators on Python 3.13 (#110) by Tianqi Chen · 8 days ago
-
8afa230 [REFACTOR][RUST] Define operators and types in tvm_ffi::static_init_block! (#105) by Linzhang Li · 8 days ago
-
9b5ae0b [Fix] Allow host-side GPU tensor addresses in VerifyMemory (#108) by Shushi Hong · 8 days ago
-
bed8a86 [FIX] Omit loop constraints for zero extents (#107) by Tianqi Chen · 8 days ago
-
22e7ea3 [DOCS] Add CUDA/PTX programming guides adapted from Apache TVM (#94) by Shushi Hong · 8 days ago
-
900bc34 [REFACTOR] Bind parser source locations to individual names (#103) by Tianqi Chen · 9 days ago
-
6e2a741 [FIX] Resolve tensor views of parameters in VerifyMemory (#97) by Godai Takashina · 9 days ago
-
77b1ee5 [REFACTOR] Publish explicit IR APIs to registered destinations (#99) by Tianqi Chen · 9 days ago
-
336af73 [FIX] Fold float64 literals and require LLVM 17 (#95) by Tianqi Chen · 9 days ago
-
eab49d7 [FEAT] Expose registered ops and types at definition sites (#96) by Tianqi Chen · 9 days ago
-
6404161 [DOCS] Introduce Symbolic Integer Analysis (#57) by Shushi Hong · 9 days ago
-
783ccba [DOCS] Reuse Quick Start examples throughout the IR walkthrough (#82) by Shushi Hong · 10 days ago
-
8615270 [FIX][TARGET] Skip Arm target tags when LLVM lacks Arm backends; bump to 0.1.0a4 (#93) by Tianqi Chen · 10 days ago
-
a821c08 Bump version to 0.1.0a3 (#92) by Tianqi Chen · 10 days ago
-
75b9411 [FEAT][RUST] Register types of register_types! blocks for Python and TVMScript (#87) by Linzhang Li · 10 days ago
-
a8f52e0 [FIX][RUST] Run register_ops! blocks at DLL load on Windows (#89) by Linzhang Li · 10 days ago
-
07fe697 [BUILD] Bump ORCJIT dependency to 0.1.3 (#90) by Tianqi Chen · 10 days ago
-
502a57d [FEAT][RUST] Deduplicate register_ops! blocks across libraries (#42) by Linzhang Li · 10 days ago
-
b5e3831 [FEAT][RUST] support rust in windows and add rust ci (#45) by Linzhang Li · 10 days ago