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
Memory consistency modelling using Alloy
Add a description, image, and links to the c11 topic page so that developers can more easily learn about it.
To associate your repository with the c11 topic, visit your repo's landing page and select "manage topics."