HACL* verified C code (READ-ONLY)
Please read more information at https://github.com/mitls/hacl-star.
Beware of the trusted code base kermlib.{h,c}, gcc-compat.h and testlib.{h,c}
Pull Requests or Issues should be opened in the correct main repository. https://github.com/mitls/hacl-star (for the verified code) or https://github.com/FStarLang/kremlin (for most of the TCB)