Pinned Repositories
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
chauffeur
Clang AST frontend for Linux device driver analysis
dredd
A mutation testing tool designed to work with large C++ (and C) codebases.
gpuverify
GPUVerify: a Verifier for GPU Kernels
jfs
Constraint solver based on coverage-guided fuzzing
multicore-test-harness
A multicore microprocessor test harness for measuring interference
sctbench
SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
shader-compiler-bugs
A collection of shader compiler bugs.
VkFuzzer
A fuzzer for the Vulkan API
Multicore Group, Imperial College London's Repositories
mc-imperial/chauffeur
Clang AST frontend for Linux device driver analysis
mc-imperial/boogie-mirror
This is a READ ONLY git mirror of the Microsoft Boogie project ( http://boogie.codeplex.com/ )
mc-imperial/VkFuzzer
A fuzzer for the Vulkan API
mc-imperial/gpu_discovery_barrier
An implementation of a workgroup occupancy discovery protocol and an inter-workgroup barrier. Also example applications.
mc-imperial/gvki
GPUVerify OpenCL Kernel Interceptor
mc-imperial/get-image
A tool for rendering a fragment shader to a PNG.
mc-imperial/libgdx-get-image
A tool for rendering a fragment shader on Android.
mc-imperial/shrinkfuzz
An experimental fuzzer based on test case reduction against particular outputs
mc-imperial/thrift-build
Automated building for thrift.
mc-imperial/thrift-compiler-binary
The thrift compiler binary as a maven package.
mc-imperial/get-image-binary
mc-imperial/GetImageAngle
mc-imperial/glslangvalidator-binary
The glslangvalidator binary as a Maven package.
mc-imperial/jtool-sct
A systematic concurrency testing tool for Java programs.
mc-imperial/shader-translator-binary
Shader translator binary (from ANGLE) as a Maven package.