Skip to content

@c4-project c4-project

Change the repository type filter

All

    Repositories list

    7 repositories

    • c4f

      Public
      The C4 Concurrent C Fuzzer
      testingconcurrencyc11litmusfuzzer
      OCaml
      •
      MIT License
      •1•14•55•0•Updated Nov 2, 2023Nov 2, 2023

    • c4t

      Public
      Runs concurrent C compiler tests
      Go
      •
      MIT License
      •0•1•72•0•Updated Feb 26, 2023Feb 26, 2023

    • c4-project.github.io

      Public
      Website for C4
      HTML
      •0•0•0•0•Updated Sep 21, 2021Sep 21, 2021

    • c4-docker

      Public
      Docker images for C4
      Dockerfile
      •0•1•2•0•Updated May 1, 2021May 1, 2021

    • mutated-llvm

      Public
      Fork of LLVM 11 with run-time-specified concurrency testing mutations. Use 'mutation-tests' branch.
      C++
      •13k•1•0•0•Updated Feb 9, 2021Feb 9, 2021

    • c4-corpora

      Public
      Input corpora for c4f
      Creative Commons Zero v1.0 Universal
      •1•1•0•0•Updated Jan 19, 2021Jan 19, 2021

    • c4-scripts

      Public
      Shell scripts for automating various C4 workflows
      Shell
      •
      MIT License
      •0•1•0•0•Updated Jan 7, 2021Jan 7, 2021