code wiki / eqsat
topic: eqsat
14 modules sharing the eqsat name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_eqsat.nx | equality-saturation framework (egg/SpEC family). | 2139 | 56 |
| nx_eqsat_bw_witness.nx | Throwaway witness: confirm mod-2^W truncation semantics for the bounded proof. | 43 | 3 |
| nx_eqsat_congruence_bench.nx | NON-TOY CONGRUENCE-HEAVY race vs egg 0.11.0. | 167 | 5 |
| nx_eqsat_congruence_test.nx | STRUCTURAL-WITNESS GATE for the egg-style | 185 | 4 |
| nx_eqsat_constfold_bench.nx | CONST-FOLD-HEAVY race vs egg 0.11.0. | 131 | 5 |
| nx_eqsat_constfold_test.nx | the CONST-FOLD GATE: proves the egg-style e-class | 193 | 5 |
| nx_eqsat_dsl_bench.nx | RULE-HEAVY race: the sovereign NishiLang DSL e-matcher | 139 | 6 |
| nx_eqsat_dsl_parity_test.nx | the 24th GATE: proves the egg-style DATA-driven | 301 | 8 |
| nx_eqsat_membership_proof.nx | MEMBERSHIP-AS-PROOF CERTIFICATE for the eqsat | 623 | 25 |
| nx_eqsat_membership_proof_test.nx | proves the MEMBERSHIP-AS-PROOF | 320 | 4 |
| nx_eqsat_race_bench.nx | RACE TIMING HARNESS vs egg 0.11.0 on the SAME task. | 151 | 5 |
| nx_eqsat_rule_proof_test.nx | SOVEREIGN soundness proof for the eqsat rewrite | 78 | 4 |
| nx_eqsat_test.nx | proof-of-life + correctness GATE for the equality- | 90 | 3 |
| nx_eqsat_vs_gcc_battery_test.nx | FAIR apples-to-apples op-count battery | 178 | 7 |