Skip to content
@c4-project

c4-project

C Compiler Concurrency Checking

Popular repositories Loading

  1. c4f c4f Public

    The C4 Concurrent C Fuzzer

    OCaml 14 1

  2. c4t c4t Public

    Runs concurrent C compiler tests

    Go 1

  3. c4-scripts c4-scripts Public

    Shell scripts for automating various C4 workflows

    Shell 1

  4. c4-corpora c4-corpora Public

    Input corpora for c4f

    1 1

  5. mutated-llvm mutated-llvm Public

    Forked from llvm/llvm-project

    Fork of LLVM 11 with run-time-specified concurrency testing mutations. Use 'mutation-tests' branch.

    C++ 1

  6. c4-docker c4-docker Public

    Docker images for C4

    Dockerfile 1

Repositories

Showing 7 of 7 repositories
  • c4f Public

    The C4 Concurrent C Fuzzer

    c4-project/c4f’s past year of commit activity
    OCaml 14 MIT 1 55 (1 issue needs help) 0 Updated Nov 2, 2023
  • c4t Public

    Runs concurrent C compiler tests

    c4-project/c4t’s past year of commit activity
    Go 1 MIT 0 72 (1 issue needs help) 0 Updated Feb 26, 2023
  • c4-project.github.io Public

    Website for C4

    c4-project/c4-project.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Sep 21, 2021
  • c4-docker Public

    Docker images for C4

    c4-project/c4-docker’s past year of commit activity
    Dockerfile 1 0 2 0 Updated May 1, 2021
  • mutated-llvm Public Forked from llvm/llvm-project

    Fork of LLVM 11 with run-time-specified concurrency testing mutations. Use 'mutation-tests' branch.

    c4-project/mutated-llvm’s past year of commit activity
    C++ 1 12,480 0 0 Updated Feb 9, 2021
  • c4-corpora Public

    Input corpora for c4f

    c4-project/c4-corpora’s past year of commit activity
    1 CC0-1.0 1 0 0 Updated Jan 19, 2021
  • c4-scripts Public

    Shell scripts for automating various C4 workflows

    c4-project/c4-scripts’s past year of commit activity
    Shell 1 MIT 0 0 0 Updated Jan 7, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…