libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard

Published 20 hours ago • verified publisher icon cryspen

ml-kem: Use member function when hax allows

Open franziskuskiefer opened this issue 7 months ago • 0 comments

When https://github.com/hacspec/hax/issues/616 is fixed we can undo all the ugliness of moving code out of impl blocks.

franziskuskiefer avatar Jul 16 '24 08:07 franziskuskiefer