c4-project

C Compiler Concurrency Checking

Pinned Repositories

c4-corpora
Input corpora for c4f
1 2 01
c4-docker
Docker images for C4
Language:Dockerfile1 2 20
c4-project.github.io
Website for C4
Language:HTML0 2 10
c4-scripts
Shell scripts for automating various C4 workflows
Language:Shell1 2 00
c4f
The C4 Concurrent C Fuzzer
Language:OCaml14 3 2481
c4t
Runs concurrent C compiler tests
Language:Go1 2 1360
mutated-llvm
Fork of LLVM 11 with run-time-specified concurrency testing mutations. Use 'mutation-tests' branch.
Language:C++1 1 00

c4-project's Repositories

c4-project/c4f
The C4 Concurrent C Fuzzer
Language:OCaml14 3 2481
c4-project/c4-corpora
Input corpora for c4f
1 2 01
c4-project/c4-docker
Docker images for C4
Language:Dockerfile1 2 20
c4-project/c4-scripts
Shell scripts for automating various C4 workflows
Language:Shell1 2 00
c4-project/c4t
Runs concurrent C compiler tests
Language:Go1 2 1360
c4-project/mutated-llvm
Fork of LLVM 11 with run-time-specified concurrency testing mutations. Use 'mutation-tests' branch.
Language:C++1 1 00
c4-project/c4-project.github.io
Website for C4
Language:HTML0 2 10