# bugle-GPUVerify

**Repository Path**: code-analysis-group/bugle-GPUVerify

## Basic Information

- **Project Name**: bugle-GPUVerify
- **Description**: GPUVerify  a tool for formal analysis of GPU kernels written in OpenCL and CUDA
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-06-05
- **Last Updated**: 2024-10-23

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

Bugle
=====

[![Build Status](https://travis-ci.org/mc-imperial/bugle.svg?branch=master)](https://travis-ci.org/mc-imperial/bugle)

GPUVerify's LLVM IR to Boogie translator.

Compiling on OS X/Linux
-----------------------

1. Build LLVM and Clang, as usual (see http://clang.llvm.org/get_started.html).

2. Run CMake from a build directory:
   ```
   $ mkdir /path/to/bugle-build
   $ cd /path/to/bugle-build
   $ cmake -DCMAKE_PREFIX_PATH=/path/to/llvm-build -DCMAKE_BUILD_TYPE=Release /path/to/bugle
   ```
   Be sure to select the same build type (CMAKE_BUILD_TYPE) used when compiling
   LLVM.

3. Run 'make' from the build directory.

Compiling on Windows
--------------------

1. Build LLVM and Clang, as usual (see http://clang.llvm.org/get_started.html).

2. Run CMake from a build directory:
   ```
   $ mkdir C:\path\to\bugle-build
   $ cd C:\path\to\bugle-build
   $ cmake -G "Visual Studio 14.0" -DLLVM_SRC=C:\path\to\llvm-source -DLLVM_BUILD=C:\path\to\llvm-build -DLLVM_BUILD_TYPE=Release C:\path\to\bugle
   ```
   Be sure to select the same build type (LLVM_BUILD_TYPE) used when compiling
   LLVM.

3. Open the Visual Studio project 'Bugle.sln'.  When building, use the build
   type you used for LLVM.

Running Bugle
-------------

Bugle is best run as part of GPUVerify.