code wiki / eg
topic: eg
8 modules sharing the eg name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| _eg_g_clean.nx | control flow synthesized from a structural DATA spec, compiled by nx_cc. license_tier: ORIGINAL | 73 | 2 |
| _eg_g_tamper.nx | control flow synthesized from a structural DATA spec, compiled by nx_cc. license_tier: ORIGINAL | 73 | 2 |
| _eg_gate.nx | gate for the GENERALIZED emitter-of-emitters (X-AUT-006e-GEN, the daemon-class rung). | 129 | 8 |
| _eg_httpd.nx | control flow synthesized from a structural DATA spec, compiled by nx_cc. license_tier: ORIGINAL | 73 | 2 |
| _eg_httpd_ref.nx | HAND REFERENCE (written ONCE, scratch) for the PROOF-2 daemon-class target. | 80 | 2 |
| _eg_httpd_tamper.nx | control flow synthesized from a structural DATA spec, compiled by nx_cc. license_tier: ORIGINAL | 73 | 2 |
| _eg_regress.nx | control flow synthesized from a structural DATA spec, compiled by nx_cc. license_tier: ORIGINAL | 73 | 2 |
| nx_eg.nx | EMITTER-OF-EMITTERS GENERALIZED (X-AUT-006e-GEN, the daemon-class rung). | 720 | 11 |