core/alive2 19.0 Public Latest

Automatic verification of LLVM optimizations


    
  
      
      $ brew install alive2

darwin/macos 13.7/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/alive2:19.0@sha256:b6e4c0ce7ae91cb7eed21ad3e6d501684fdad720cbb6c1563bb84c57ad36da94

darwin/macos 13.7/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/alive2:19.0@sha256:0985ce107c0ce89a3c953b5e9c5b8ee42712f16015b71eb706059c4aa84119a1

darwin/macos 14.7/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/alive2:19.0@sha256:4dc146d1de12c5bc98061e4320fc8495abef275c02a359e8c3bf58c9a37a75ed

darwin/macos 14.7/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/alive2:19.0@sha256:3d8fee42d25dae8fa7b938797483cdd145899fb208fecb220daf75933fd57cf1

darwin/macos 15/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/alive2:19.0@sha256:f4be4128e4950c616fcc1d26a3923f68768df4f10bd7fba663a2c53905138cad

linux/ubuntu 22.04.5/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/alive2:19.0@sha256:903f9da516fde336116ccfd60d9076d524b101a05c65f320bbf32d5090c4ff50

Loading

Last published

Issues

Total downloads

Contributors 5,000+