summaryrefslogtreecommitdiff
path: root/lib/freebl/verified/specs/Spec.Chacha20.fst
Commit message (Expand)AuthorAgeFilesLines
* Bug 1399763 - add license headers to spec files and make diff work, r=ttaubertFranziskus Kiefer2017-12-071-0/+15
* Bug 1383369 - formally verified code from HaCl* for Chacha20 (non-vectorized)...Franziskus Kiefer2017-11-221-0/+154