#

c11

Here are 2 public repositories matching this topic...

johnwickerson / memalloy

Memory consistency modelling using Alloy

opencl x86 armv7 model-checking constraint-solver c11 powerpc memory-model nvidia-gpus compiler-design

Updated Dec 16, 2020
OCaml

c4-project / c4f

The C4 Concurrent C Fuzzer

testing concurrency fuzzer c11 litmus

Updated Nov 2, 2023
OCaml

Improve this page

Add a description, image, and links to the c11 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the c11 topic, visit your repo's landing page and select "manage topics."