Commits on May 16, 2024

1. start implementing MiriAllocBytes …

   attempt changing Bytes in MiriMachine to MiriAllocBytes
   
   rename miri_alloc_bytes to alloc_bytes
   
   generalize impl VisitProvenance for Allocation for any Bytes: AllocBytes
   
   mend MiriAllocBytes -> Self::Bytes
   
   fix Invariant documentation and bugs (drop), impl Clone
   
   Update MiriAllocBytes description
   
   Co-authored-by: Ralf Jung <post@ralfj.de>
   
   Rephrase MiriAllocBytes ptr invariant
   
   Co-authored-by: Ralf Jung <post@ralfj.de>
   
   Update MiriAllocBytes ptr documentation
   
   Co-authored-by: Ralf Jung <post@ralfj.de>
   
   fix safety comment in MiriAllocBytes::clone
   
   fix safety comment in MiriAllocBytes::from_bytes
   
   try implementing clone without unsafe
   
   remove derive(PartialEq,Eq,Hash), fix fmt
   
   move ptr.is_null() check inside only necessary branch
   
   use std::ptr::without_provenance_mut, requiring feature(strict_provenance)
   
   align.bytes_usize() instead of align.bytes().try_into().unwrap()
   
   Update src/provenance_gc.rs
   
   Co-authored-by: Ralf Jung <post@ralfj.de>
   
   fix clippy error on deref

   

   Strophox committed May 16, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for cf6330c
   • Browse repository at this point

   Copy the full SHA

   cf6330c View commit details

   Browse the repository at this point in the history