summaryrefslogtreecommitdiffstats
path: root/security/nss/lib/freebl/verified/specs/Spec.Poly1305.fst
Commit message (Expand)AuthorAgeLines
* Update NSS to 3.35-RTMwolfbeast2018-06-05-0/+107
* Revert "Update NSS to 3.35-RTM"wolfbeast2018-04-25-107/+0
* Update NSS to 3.35-RTMwolfbeast2018-02-23-0/+107