All pull requests

Pull requests

• Require initialized storage for uninhabited AsInitialized referents

  #3897·jswrenn opened Oct 16, 2026Collaborator·

  ·
  2

• Add derivable HasNullPointerOptimization trait

  #3896·ColinFinck opened Oct 16, 2026·

  ·
  9

• Compose referent content laws at explicit metadata pairs

  #3895·joshlf opened Oct 15, 2026Member·

  ·
  7

• Prove the native slice IntoBytes implementation

  #3894·joshlf opened Oct 15, 2026Member·

  ·
  2

• Compose byte decoders at explicit element metadata

  #3892·joshlf opened Oct 15, 2026Member·

  ·
  2

• Retain indexed storage in Rust model providers

  #3893·joshlf opened Oct 15, 2026Member·

  ·
  5

• Bound pointer projections even for empty referents

  #3891·joshlf opened Oct 15, 2026Member·

  ·
  2

• Prove referent validity implications for native trait impls

  #3890·joshlf opened Oct 15, 2026Member·

  ·
  7

• Expose wrapper validity impls for independent verification

  #3889·joshlf opened Oct 15, 2026Member·

  ·
  4

• Retain every type argument in native trait laws

  #3888·joshlf opened Oct 15, 2026Member·

  ·
  2

• Model referent validity as byte-domain inclusion

  #3887·joshlf opened Oct 15, 2026Member·

  ·
  4

• Prove a generic owned conversion against byte models

  #3884·joshlf opened Oct 15, 2026Member·

  ·
  6

• Require realizable source representations for IntoBytes

  #3883·joshlf opened Oct 15, 2026Member·

  ·
  2

• Require fresh ownership proofs before ignoring drops

  #3882·joshlf opened Oct 15, 2026Member·

  ·
  13

• Prove conservative ownership checks for conditional drops

  #3881·joshlf opened Oct 15, 2026Member·

  ·
  7

• Prove FromZeros::new_zeroed through its enclosing trait law

  #3880·joshlf opened Oct 15, 2026Member·

  ·
  2

• Prove FromBytes and FromZeros construction invariants

  #3879·joshlf opened Oct 15, 2026Member·

  ·
  4

• Express Alignment::read's pointer guarantees as a tuple

  #3878·joshlf opened Oct 15, 2026Member·

  ·
  5

• Prove concrete owned standard transmutation

  #3877·joshlf opened Oct 15, 2026Member·

  ·
  4

• Preserve Lake declarations and traces when vendoring

  #3875·joshlf opened Oct 14, 2026Member·

  ·
  5

• Prove wrapper and byteorder IntoBytes implementations

  #3872·joshlf opened Oct 14, 2026Member·

  ·
  6

• Prove scalar and PhantomData IntoBytes implementations

  #3871·joshlf opened Oct 14, 2026Member·

  ·
  4

• Only permit exclusive projections of enums/unions; generalize ReadOnly projections

  #3870·jswrenn opened Oct 14, 2026Collaborator·

  ·
  4

• [test] Cover derives without zerocopy derive feature

  #3869·neonjava opened Oct 14, 2026Contributor·

  ·
  1

  2

• Prove array IntoBytes initialization from element laws

  #3863·joshlf opened Oct 14, 2026Member·

  ·
  3