All pull requests

Pull requests

• Minor dot graph fixes

  #149·dkcumming opened May 1, 2026Collaborator·

  ·

• compat(nightly-2025-07-05): IndexedVal goes private

  #147·cds-amal opened Mar 11, 2026Collaborator·4 tasks·

  ·

• All Nightlies Must Pass

  #146·cds-amal opened Mar 11, 2026Collaborator·

  ·

• Read the room, skip the rest

  #145·cds-amal opened Mar 11, 2026Collaborator·

  ·
  2

• Bedrock, Fault lines and Striking Gold

  #144·cds-amal opened Mar 11, 2026Collaborator·

  ·
  10

• The Audacity of Cope: catching rustc's layout panics so std can fly

  #140·cds-amal opened Mar 8, 2026Collaborator·1 task·

  ·
  1

• Human-Readable Symbol Names

  #138·cds-amal opened Mar 5, 2026Collaborator·

  ·

• Phased and Confused: typestate enforcement for post-mono Body invariants

  #136·cds-amal opened Mar 5, 2026Collaborator·

  ·
  6

• Refactor MIR graph rendering to use a unified traversal via GraphBuilder

  #132·0xh4ty opened Mar 2, 2026Contributor·

  ·
  24

• SPIKE: For those about to trace (we salute you)

  #130·cds-amal opened Feb 28, 2026Collaborator·

  ·

• Filter std::rt::lang_start from graphs

  automerge
  #119·dkcumming opened Feb 18, 2026Collaborator·

  ·
  4

  

• feat: ensure SMIR export records function item types

  #104·Stevengre opened Nov 4, 2025Contributor·

  ·
  

• Add comprehensive JSON schema for Stable MIR JSON format

  #99·Stevengre opened Sep 9, 2025Contributor·

  ·
  1

  7

  

• 90 upgrade rustc dependency

  #91·jberthold opened Jul 21, 2025Collaborator·

  ·
  1

  1

• Use mangled name for intrinsic symbols

  #85·ehildenb opened May 23, 2025Member·

  ·
  6

  

• Added documentation for how to emit the smir.json for the std-lib

  bug
  #17·dkcumming opened Oct 30, 2024Collaborator·

  ·
  2