Skip to content

Commit 4e2fc38

Browse files
committed
Add ODM on properties
1 parent a45c013 commit 4e2fc38

File tree

3 files changed

+14
-4
lines changed

3 files changed

+14
-4
lines changed

website/content/talks/_index.md

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -83,10 +83,20 @@ to [this public calendar](https://calendar.google.com/calendar/u/0?cid=N2EzMDU3N
8383

8484
### About MLIR and MLIR Components
8585

86-
* 2025-06-26: WebAssembly Dialect [slides](/OpenMeetings/2025-06-26-WASM-Dialect.pdf) - [recording](https://youtu.be/emyOylywgs0)
87-
* 2025-06-12: Rank-0 Vectors [slides](/OpenMeetings/2025-06-12-Rank0-Vectors.pdf) - [recording](https://youtu.be/CyOtFU6kzDs)
88-
* 2025-04-03: Upstreaming SMT and Verif Dialects (cont'd) [recording](https://youtu.be/dVxCynKK1AM)
89-
* 2025-03-27: Upstreaming SMT and Verif Dialects [recording](https://youtu.be/a9fRzBWI0AE)
86+
* 2025-08-14: Discussion on the next steps on Properties
87+
[slides 1](/OpenMeetings/2025-08-14-Properties1.pdf) and
88+
[slides 2](/OpenMeetings/2025-08-14-Properties2.pdf) -
89+
[recording](https://youtu.be/PqlnAZRnlI0)
90+
* 2025-06-26: WebAssembly Dialect
91+
[slides](/OpenMeetings/2025-06-26-WASM-Dialect.pdf) -
92+
[recording](https://youtu.be/emyOylywgs0)
93+
* 2025-06-12: Rank-0 Vectors
94+
[slides](/OpenMeetings/2025-06-12-Rank0-Vectors.pdf) -
95+
[recording](https://youtu.be/CyOtFU6kzDs)
96+
* 2025-04-03: Upstreaming SMT and Verif Dialects (cont'd)
97+
[recording](https://youtu.be/dVxCynKK1AM)
98+
* 2025-03-27: Upstreaming SMT and Verif Dialects
99+
[recording](https://youtu.be/a9fRzBWI0AE)
90100
* 2024-08-22: Upstream SPIR-V Conversion
91101
[slides](/OpenMeetings/2024-08-22-Upstream-SPIRV-Conversion.pdf) -
92102
[recording](https://youtu.be/-qoMMrlYvGs)
47.8 KB
Binary file not shown.
87.3 KB
Binary file not shown.

0 commit comments

Comments
 (0)