Project Calendar
High-level view of Team ReLiANT’s internal milestones from August 2025 through May 2026. The timeline below shows how TLA+ modeling, Rust pipeline work, concurrency, and UI integration are staged across the academic year.
What’s next for Team ReLiANT? Early work focuses on basic TLA+ NVMe models and the Rust parser/execution pipeline. By January we aim to have run concurrency and step locking between TLC and Rust online, and by March we are expanding into more complex NVMe TLA+ models and multi-namespace behavior.
Aug 2025 – May 2026 Timeline
Bars are positioned roughly by month. Each bar is a phase in the ReLiANT pipeline. Hover over a bar to see details.
The schedule will shift as we de-risk concurrency and expand model coverage. For fine-grained task assignments (who owns which challenge and demo), see the project documents.