All pull requests

Pull requests

• Preserve write footprints in conditional pointer replacements

  #1778·by sbillig was merged Oct 5, 2026Collaborator·

  ·
  4

• Specialize separation guards before filtering call effects

  #1776·by sbillig was merged Oct 5, 2026Collaborator·

  ·
  1

• Preserve prerequisites of conditional pointer-cell contents

  #1772·by sbillig was merged Oct 5, 2026Collaborator·

  ·
  1

• Substitute nested external sources in one pass

  #1771·by sbillig was merged Oct 5, 2026Collaborator·

  ·
  1

• Reuse Boolean guard operands across index alignment

  #1770·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Merge sorted guard choice tables in one pass

  #1768·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Propagate ownership availability in CFG order

  #1767·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Fix operator grouping after if/else expressions

  #1766·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Reduce short-circuit borrow-checking cost

  #1765·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Resolve named integer constants in borrow guards

  #1764·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Read enum tags directly from places without copying payloads

  #1762·by sbillig was merged Oct 4, 2026Collaborator·2/2·

  ·
  1

• Preserve projected places on returned references

  #1761·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Preserve concrete layouts through stored native references

  #1760·by sbillig was merged Oct 4, 2026Collaborator·1/2·

  ·
  1

• Preserve certified initialization through later mutations

  #1756·by sbillig was merged Oct 5, 2026Collaborator·1/2·

  ·
  1

• Exclude nonreturning paths from runtime borrow inference

  #1755·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  7

• Preserve pointer provenance in dynamic call poststates

  #1754·by sbillig was merged Oct 5, 2026Collaborator·

  ·

• Ignore call poststates with empty destinations

  #1752·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Seed fresh storage only at allocation birth

  #1751·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  1

• Enable debug assertions in optimized tests and fix HIR failures

  #1749·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  2

• Preserve ownership correlations across loop entries

  #1748·by sbillig was merged Oct 5, 2026Collaborator·

  ·
  8

• Preserve recursive pointer field provenance across calls

  #1747·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  2

• Respect returning paths in ownership availability analysis

  #1746·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  2

• Allow finite recursive types through generic pointer wrappers

  #1745·by sbillig was closed Oct 4, 2026Collaborator·

  ·
  5

• Fix lowering of references returned from raw memory

  #1744·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  3

• Reduce borrow checker guard graph overhead

  #1743·by sbillig was merged Oct 4, 2026Collaborator·

  ·
  2