Tool to explore the behaviour of programs in the C/C++11 memory model
http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/
CppMem is a tool to let one explore the behaviour of small concurrent test programs in the relaxed memory model of the recent C11 and C++11 revisions of C and C++, as formalised by Batty et al. [POPL 2011], which explains the model.
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:aaronpuchert/cppmem && cd $_ - Create Badge
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| Add-missing-dependency-to-Num-for-OCaml-4.06.patch | 0000001702 1.66 KB | |
| Fix-syntax-error-by-adding-space.patch | 0000001103 1.08 KB | |
| Fix-usage-of-mutable-strings-for-OCaml-4.02.patch | 0000010540 10.3 KB | |
| cppmem.changes | 0000000184 184 Bytes | |
| cppmem.spec | 0000001888 1.84 KB | |
| cppmem.tar.gz | 0000675303 659 KB |
Comments 0