code wiki / zstd
topic: zstd
20 modules sharing the zstd name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_zstd_bits.nx | Zstandard's BACKWARD bitstream reader + Huffman weights. | 235 | 11 |
| nx_zstd_bits_gate.nx | proves zstd's BACKWARD reader and Huffman weights. | 210 | 3 |
| nx_zstd_block.nx | Zstandard compressed-block decompression. | 155 | 3 |
| nx_zstd_block_gate.nx | proves zstd compressed-block decompression. | 204 | 3 |
| nx_zstd_frame.nx | Zstandard frame and block layer, writer and reader. | 248 | 11 |
| nx_zstd_frame_gate.nx | proves the zstd frame and block layer. | 199 | 3 |
| nx_zstd_fse.nx | FSE (tANS) decoding-table construction for Zstandard. | 189 | 6 |
| nx_zstd_fse_dec.nx | the FSE decoding state machine for zstd sequences. | 91 | 4 |
| nx_zstd_fse_dec_gate.nx | proves the FSE decoding state machine. | 231 | 3 |
| nx_zstd_fse_gate.nx | proves the FSE (tANS) decoding-table build. | 135 | 2 |
| nx_zstd_huf.nx | Zstandard's Huffman decode table (the X1 flat form). | 161 | 4 |
| nx_zstd_huf_gate.nx | proves the zstd Huffman decode table. | 187 | 3 |
| nx_zstd_lit.nx | Zstandard literals section, header and payload. | 199 | 6 |
| nx_zstd_lit_gate.nx | proves the zstd literals section. | 193 | 3 |
| nx_zstd_seq.nx | Zstandard sequences: header, code tables, execution. | 262 | 9 |
| nx_zstd_seq_gate.nx | proves zstd sequence execution and code tables. | 235 | 3 |
| nx_zstd_seqdec.nx | zstd sequence decoding: repeat offsets + the loop. | 185 | 4 |
| nx_zstd_seqdec_gate.nx | proves zstd's repeat-offset machine and sequence loop. | 195 | 3 |
| nx_zstd_seqtab.nx | Zstandard's three PREDEFINED sequence distributions. | 112 | 7 |
| nx_zstd_seqtab_gate.nx | proves the predefined sequence distributions. | 190 | 3 |