This repository has been archived on 2026-08-21. You can view files and clone it. You cannot open issues or pull requests or push a commit.
FallenSigh 29313653a9 fix(mlkem): replace Barrett division with direct / and % in comp_decomp_sync
The previous Barrett multiplication-based division was incorrect. Both
compress and decompress used the same wrong implementation, so they
happened to be consistent with each other, but the math was wrong.

Replace with synthesizer-native / and % operators. This is cleaner
and the synthesis tool handles integer division/remainder correctly
for these small operand widths (12-bit dividend, 12-bit divisor).

Ultraworked with [Sisyphus](https://github.com/code-yeongyu/oh-my-openagent)

Co-authored-by: Sisyphus <clio-agent@sisyphuslabs.ai>
2026-06-30 03:32:20 +08:00
2026-06-26 21:36:55 +08:00
Description
No description provided
193 MiB
Languages
Verilog 46.5%
C 27.8%
Assembly 20.5%
SystemVerilog 3.3%
Python 0.7%
Other 1.2%