code wiki / atomic
topic: atomic
4 modules sharing the atomic name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| _atomic_rewrite_gate.nx | WMS-R3 gate. PROVES the generic atomic_rewrite | 176 | 7 |
| nx_atomic_intrinsic_test.nx | exercise the __atomic_* compiler | 114 | 7 |
| nx_atomic_rewrite.nx | WMS-R3: a GENERIC, callable atomic whole-file rewrite | 141 | 6 |
| nx_atomic_swap.nx | DEP-001 (CALLOUT-012 deploy-exceed). Prove + register the ATOMIC content | 75 | 7 |