mc-imperial Goto Github PK

boogie-mirror

This is a READ ONLY git mirror of the Microsoft Boogie project ( http://boogie.codeplex.com/ )

bugle

An LLVM Bitcode to Boogie translator

build-clang

Scripts for building Clang/LLVM

chauffeur

Clang AST frontend for Linux device driver analysis

csmith-hypothesis

Csmith, a random generator of C programs

dredd

Framework for evaluating C/C++ compiler testing tools

dredd-compiler-testing

Scripts to allow the Dredd mutation testing framework to be used for compiler testing

dredd-webgpu-testing

get-image

A tool for rendering a fragment shader to a PNG.

get-image-binary

get-image-egl

get-image-glfw

A tool for rendering a fragment shader to a PNG file.

get-image-glsl

Produce a PNG image from a GLSL fragment shader

get-image-hlsl

get-image-spv

Get image using Vulkan

getimageangle

glslangvalidator-binary

The glslangvalidator binary as a Maven package.

gpu_discovery_barrier

An implementation of a workgroup occupancy discovery protocol and an inter-workgroup barrier. Also example applications.

gpuverify

GPUVerify: a Verifier for GPU Kernels

gpuverifybenchmarks

Public GPUVerify Benchmarks

graphicsfuzz

gvki

GPUVerify OpenCL Kernel Interceptor

hypothesis-ecoop-2020-artifact

Artifact associated with ECOOP 2020 paper

jfs

Constraint solver based on coverage-guided fuzzing

jfs-fse-2019-artifact

jtool-sct

A systematic concurrency testing tool for Java programs.

libgdx-get-image

A tool for rendering a fragment shader on Android.

llvm-legacy

Old versions of Clang/LLVM, patched so that they can be built using more recent compilers

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

mesa-coverage

Mesa builds to obtain code coverage