forked from checkedc/checkedc-clang
    
        
        - 
                Notifications
    You must be signed in to change notification settings 
- Fork 5
Pull requests: correctcomputation/checkedc-clang
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
      Overhaul of 
    convert_project and related tools
      
        
          #724
            opened Oct 14, 2021  by
            mattmccutchen-cci
            
        
        
            
    •
    
      Draft
    
  
        
        
      
    
      
          
              
                
                2 
              
          
      
      
        
          
          
        
      
      
      
    
      
  
      Fix 
    _Ptr source location bugs and remove workarounds from 3C.
      
        
          #723
            opened Oct 14, 2021  by
            mattmccutchen-cci
            
        
        
            
    •
    
      Draft
    
  
        
        
      
    
      Fix for 
    
      
  malloc incorrectly preventing checked region addition (issue #486)
      
        
          #527
            opened Apr 4, 2021  by
            aaronjeline
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Refactor test 
    RUN commands into a separate tool
      
        
          #355
            opened Dec 14, 2020  by
            mattmccutchen-cci
            
        
        
            
    •
    
      Draft
    
  
        
        
      
    
  
  ProTip!
  Filter pull requests by the default branch with base:main.