All pull requests

Pull requests

• [wip] Introduce CastType::Exact instead of reusing Prefix for exact casts

  #3717·jswrenn opened Sep 23, 2026·

  ·
  1

• Optimize validate_cast_and_convert_metadata

  #3716·jswrenn opened Sep 23, 2026·

  ·
  1

• Fix TryFromBytes::try_read_from*

  #3712·jswrenn opened Sep 22, 2026·

  ·
  9

• Genericize (try_)ref_from_prefix_suffix

  #3711·jswrenn opened Sep 22, 2026·

  ·
  2

• [pointer] Make TransmuteFrom cast-relative

  #3705·joshlf opened Sep 18, 2026·

  ·
  1

  2

• [pointer] Make transmute validity cast-relative

  #3704·joshlf opened Sep 18, 2026·

  ·
  1

  1

• [anneal] Define Rust-level verification evidence

  #3702·joshlf opened Sep 18, 2026·

  ·
  2

• [anneal] Define verification result semantics

  #3701·joshlf opened Sep 17, 2026·

  ·
  2

• [pointer] Use metadata-aware representation proof in transmute helper

  #3699·joshlf opened Sep 17, 2026·

  ·
  1

  13

• [pointer] Require same-size proof in transmute helper

  #3694·joshlf opened Sep 17, 2026·

  ·
  1

  2

• Allow #[derive(IntoBytes)] to ignore unused const generic parameters

  #3685·barunaniket opened Sep 15, 2026·

  ·
  1

  13

• Implement common traits for ReadOnly

  #3682·jswrenn opened Sep 13, 2026·

  ·
  6

• Add public constructors for SizeError and ValidityError

  #3678·barunaniket opened Sep 12, 2026·

  ·
  1

  3

• Clarify pointer contracts and expose iterator capabilities

  #3677·joshlf opened Sep 12, 2026·

  ·
  47

• Fix exported macro hygiene and normalize raw field names

  #3676·joshlf opened Sep 12, 2026·

  ·
  29

• Fix mutable conversion bounds and strengthen core checks

  #3675·joshlf opened Sep 12, 2026·

  ·
  44

• Fix derive hygiene and optional error handling

  #3674·joshlf opened Sep 12, 2026·

  ·
  24

• [kani] Ground validator proofs in Rust oracles

  #3664·joshlf opened Sep 9, 2026·

  ·
  16

• [kani] Tighten slice and Ref proof scopes

  #3663·joshlf opened Sep 9, 2026·

  ·
  16

• [kani] Validate complete proof result inventory

  #3662·joshlf opened Sep 9, 2026·

  ·
  30

• [kani] Strengthen DST layout proofs

  #3661·joshlf opened Sep 9, 2026·

  ·
  18

• Normalize nested DST size formulas

  #3659·joshlf opened Sep 7, 2026·

  ·
  1

  12

• [kani] Prove insert_vec_zeroed growth

  #3658·joshlf opened Sep 7, 2026·

  ·
  141

• [kani] Prove IntoBytes views and write frames

  #3656·joshlf opened Sep 7, 2026·

  ·
  168

• [kani] Prove sized Ref construction and restoration

  #3657·joshlf opened Sep 7, 2026·

  ·
  205