- 
                Notifications
    You must be signed in to change notification settings 
- Fork 399
Pull requests: rust-lang/miri
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
      weak memory: fix non-atomic read clearing store buffer
        
              
                S-waiting-on-review
  Status: Waiting for a review to complete 
        
      
    
      
  
        
          #4658
            opened Oct 30, 2025  by
            RalfJung
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Refactor TreeVisitor and Access Relatedness.
        
              
                S-waiting-on-review
  Status: Waiting for a review to complete 
        
      
    
      
  
        
          #4654
            opened Oct 27, 2025  by
            royAmmerschuber
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      user-relevant span: if no frame is in a local crate, use topmost non-track_caller frame
        
              
                S-waiting-on-review
  Status: Waiting for a review to complete 
        
      
    
      
  
        
          #4653
            opened Oct 27, 2025  by
            RalfJung
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      [WIP] Use the dummy codegen backend
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
    
      
  
      initial implementation of wildcard provenence for tree borrows
        
              
                S-waiting-on-review
  Status: Waiting for a review to complete 
        
      
    
      
  
        
          #4630
            opened Oct 13, 2025  by
            royAmmerschuber
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      native-lib/trace: Intercept mmap and munmap
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
    
      
  
      Add strong mode for tree borrows
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
      
  
        
          #4586
            opened Sep 14, 2025  by
            HKalbasi
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Enable MacOS support for GenMC mode.
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
    
      
  
      Implement SetFileInformationByHandle, as well as direct shim test for it
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
      
  
        
          #4547
            opened Aug 29, 2025  by
            CraftSpider
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Include the name of the created tag in TB's Reborrow events
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
      
  
        
          #4387
            opened Jun 8, 2025  by
            saethlin
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      (more) precisely track memory accesses and allocations across FFI
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
      
  
        
          #4326
            opened May 17, 2025  by
            nia-e
            
        
        
            
    
  
    Loading…
 
        
          
   
        
      
    
      
        
      
      
  
    8 of 10 tasks
  
      Implement Status: Waiting for the PR author to address review comments 
        
      
    
      
  chmod and fchmod for Unix targets
        
              
                S-waiting-on-author
  
        
          #4214
            opened Feb 26, 2025  by
            el-ev
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Add support for tid argument in sched_(get/set)affinity
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
      
  
        
          #4130
            opened Jan 9, 2025  by
            sleiderr
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Allow backtraces to cross thread boundaries
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
      
  
        
          #4093
            opened Dec 13, 2024  by
            actuallyatoaster
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Add GC heuristic
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
      
  
        
          #3997
            opened Oct 27, 2024  by
            JoJoDeveloping
            
        
        
            
    •
    
      Draft
    
  
        
        
      
    
      Run all pass-dep tests natively, too
        
              
                S-waiting-on-author
  Status: Waiting for the PR author to address review comments 
        
      
    
      
  
        
          #3948
            opened Oct 7, 2024  by
            oli-obk
            
        
        
            
    
  
    Loading…
 
        
        
      
    
  
  ProTip!
  Updated in the last three days: updated:>2025-10-27.