Issues

• P1b: D-AWAIT via coroutine saved-local analysis

  P1bstretch
  AnnanyaSood1/guardstate-mir#7 · Filter by author AnnanyaSood1 opened on Sep 24, 2026

• P1a: Wire gsm-dylint to invoke the real-MIR analysis

  P1a
  AnnanyaSood1/guardstate-mir#6 · Filter by author AnnanyaSood1 opened on Sep 24, 2026

• P1a: Port remaining guardstate shapes as real .rs fixtures

  P1a
  AnnanyaSood1/guardstate-mir#5 · Filter by author AnnanyaSood1 opened on Sep 24, 2026

• P1a: Port guard-liveness lattice as rustc_mir_dataflow::Analysis

  P1a
  AnnanyaSood1/guardstate-mir#4 · Filter by author AnnanyaSood1 opened on Sep 24, 2026

• P1a: Guard-by-type classifier (Ty → Option<GuardClass>)

  P1a
  AnnanyaSood1/guardstate-mir#3 · Filter by author AnnanyaSood1 opened on Sep 24, 2026

• P1a: MIR-walking hello-world (read one .rs fixture, print call terminators)

  P1a
  AnnanyaSood1/guardstate-mir#2 · Filter by author AnnanyaSood1 opened on Sep 24, 2026

• P1a: Verify MIR query choice on pinned nightly

  P1a
  AnnanyaSood1/guardstate-mir#1 · Filter by author AnnanyaSood1 opened on Sep 24, 2026