Multicore Group, Imperial College London

Pinned Repositories

boogie-mirror
This is a READ ONLY git mirror of the Microsoft Boogie project ( http://boogie.codeplex.com/ )
Language:C#5 3 02
bugle
An LLVM Bitcode to Boogie translator
Language:C++9 4 04
chauffeur
Clang AST frontend for Linux device driver analysis
Language:C++6 12 12
dredd
Framework for evaluating C/C++ compiler testing tools
Language:C++11 5 873
gpu_discovery_barrier
An implementation of a workgroup occupancy discovery protocol and an inter-workgroup barrier. Also example applications.
Language:C++41
gpuverify
GPUVerify: a Verifier for GPU Kernels
Language:C#57 12 2515
jfs
Constraint solver based on coverage-guided fuzzing
Language:C++240 17 3720
multicore-test-harness
A multicore microprocessor test harness for measuring interference
Language:C13 10 03
sctbench
SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
Language:C27 6 311
shader-compiler-bugs
A collection of shader compiler bugs.
Language:Assembly499

Multicore Group, Imperial College London's Repositories

mc-imperial/jfs
Constraint solver based on coverage-guided fuzzing
Language:C++240 17 3720
mc-imperial/gpuverify
GPUVerify: a Verifier for GPU Kernels
Language:C#57 12 2515
mc-imperial/shader-compiler-bugs
A collection of shader compiler bugs.
Language:Assembly499
mc-imperial/sctbench
SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
Language:C27 6 311
mc-imperial/multicore-test-harness
A multicore microprocessor test harness for measuring interference
Language:C13 10 03
mc-imperial/dredd
Framework for evaluating C/C++ compiler testing tools
Language:C++11 5 873
mc-imperial/bugle
An LLVM Bitcode to Boogie translator
Language:C++9 4 04
mc-imperial/hypothesis-ecoop-2020-artifact
Artifact associated with ECOOP 2020 paper
Language:Python2
mc-imperial/spirv-control-flow
Formal modelling of SPIR-V control flow using Alloy
Language:Python2
mc-imperial/get-image-egl
Language:C1 4 01
mc-imperial/GPUVerifyBenchmarks
Public GPUVerify Benchmarks
Language:C11
mc-imperial/graphicsfuzz
Language:Java1 5 0
mc-imperial/tsan11
Language:C++1 6 0
mc-imperial/get-image-spv
Get image using Vulkan
Language:C++0 5 32
mc-imperial/ShaderTests
Language:GLSL03
mc-imperial/build-clang
Scripts for building Clang/LLVM
Language:Shell
mc-imperial/csmith-hypothesis
Csmith, a random generator of C programs
Language:C++
mc-imperial/dredd-compiler-testing
Scripts to allow the Dredd mutation testing framework to be used for compiler testing
Language:Python1
mc-imperial/dredd-webgpu-testing
mc-imperial/get-image-glfw
A tool for rendering a fragment shader to a PNG file.
Language:C
mc-imperial/get-image-glsl
Produce a PNG image from a GLSL fragment shader
Language:C2
mc-imperial/get-image-hlsl
Language:C++
mc-imperial/jfs-fse-2019-artifact
Language:SMT3 0
mc-imperial/llvm-legacy
Old versions of Clang/LLVM, patched so that they can be built using more recent compilers
mc-imperial/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.
mc-imperial/mesa-coverage
Mesa builds to obtain code coverage
Language:Shell
mc-imperial/modelcheckingfutexes
Promela models of futex-based synchronisation primitives.
Language:Promela
mc-imperial/ogltesting-binaries
A Maven package containing the binaries used in the Graphics Fuzz project.
Language:Shell
mc-imperial/original-shaders
A collection of shaders to use as original shaders.
Language:GLSL
mc-imperial/remove-parens
Language:C++