All pull requests

Pull requests

• Verify Boolean and NonZeroUsize candidate predicates

  #3852·joshlf opened Oct 9, 2026Member·

  ·
  1

• Verify the byte writers used by IntoBytes

  #3851·joshlf opened Oct 9, 2026Member·

  ·
  1

• Prove guarded Boolean conversion and byte copying

  #3849·joshlf opened Oct 9, 2026Member·

  ·
  2

• Reject unsupported execution effects before Aeneas lowering

  #3848·joshlf opened Oct 9, 2026Member·

  ·
  11

• Prove record construction against independent Rust references

  #3846·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove selected cast plans preserve size without metadata overflow

  #3845·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove CastPlan selection and unchecked metadata arithmetic

  #3844·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove cast validation and exact-size metadata inference

  #3843·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove allocation-size preparation and tail containment

  #3842·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove CastUnsized's production layout acceptance gate

  #3841·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove the numerical bounds used by split operations

  #3840·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove advancement and padding-sequence decisions

  #3839·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove DstLayout padding and field extension

  #3838·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove unit and usize PointerMetadata operations

  #3837·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove trailing sizes, padding and capacity including overflow

  #3836·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove primitive DstLayout constructors

  #3835·joshlf opened Oct 8, 2026Member·

  ·
  1

• Add an independent Rust reference for nested DST sizes

  #3834·joshlf opened Oct 8, 2026Member·

  ·
  4

• Specify rounding encodings as alignment and phase

  #3833·joshlf opened Oct 8, 2026Member·

  ·
  4

• Relate recursive record layout to normalized size formulas

  #3832·joshlf opened Oct 8, 2026Member·

  ·
  4

• Prove normalized trailing-size and capacity formulas

  #3831·joshlf opened Oct 8, 2026Member·

  ·
  2

• Reuse Aeneas rules for views and indexed loops

  #3830·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove least padding and greatest aligned predecessors

  #3829·joshlf opened Oct 8, 2026Member·

  ·
  2

• Prove U16 and U32 byte-order reads, writes and updates

  #3827·joshlf opened Oct 8, 2026Member·

  ·
  2

• Test total and partial Aeneas contract semantics

  #3828·joshlf opened Oct 8, 2026Member·

  ·
  2

• Check Rust specs against golden and live Aeneas models

  #3826·joshlf opened Oct 8, 2026Member·

  ·
  6