code wiki / isa
topic: isa
7 modules sharing the isa name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_isa_cf_sov.nx | CONTROL-FLOW rung: derive programs that BRANCH, run them on god. | 409 | 43 |
| nx_isa_equiv_sov.nx | THE DIFFERENTIAL-REPLACEMENT TEST, ON THE HARDWARE. | 358 | 33 |
| nx_isa_loop_sov.nx | LOOP rung: derive ITERATIVE programs with a BACKWARD branch, run on god. | 342 | 39 |
| nx_isa_run_sov.nx | CLOSE THE LOOP (hardware -> derive -> hardware). A search-derived | 98 | 9 |
| nx_isa_spec.nx | SPEC-DRIVEN instruction encoder (multi-arch). The capability | 61 | 2 |
| nx_isa_spec_test.nx | prove the SPEC-DRIVEN encoder: (1) it reproduces the | 131 | 8 |
| nx_isa_synth_sov.nx | SHAPE-DISCOVERY SYNTHESIS: the team is given only (a,b)->T(a,b) examples | 367 | 45 |