All Git Users → mc-imperial

3 open source projects by mc-imperial

[ Open user page on Github ]

Constraint solver based on coverage-guided fuzzing

✭ 215

llvm fuzzing jit

2. Shader Compiler Bugs

A collection of shader compiler bugs.

✭ 46

GPUVerify: a Verifier for GPU Kernels

✭ 46

C#python c Cuda Boogie shell

1-3 of 3 user projects