evercrypt-rust icon indicating copy to clipboard operation
evercrypt-rust copied to clipboard

Published 20 hours ago • verified publisher icon franziskuskiefer

Add pre- and post-conditions from hacl

Open franziskuskiefer opened this issue 3 years ago • 0 comments

Some of the information that gets lost when generating the C code we should add back here in Rust.

franziskuskiefer avatar Jul 10 '20 14:07 franziskuskiefer