Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Spec.CTR.fst | 3933 | logstatsplain |
-rw-r--r-- | Spec.Chacha20.fst | 5814 | logstatsplain |
-rw-r--r-- | Spec.Curve25519.fst | 5542 | logstatsplain |
-rw-r--r-- | Spec.Poly1305.fst | 3401 | logstatsplain |
index : UXP | ||
Unnamed repository; edit this file 'description' to name the repository. | User & |
summaryrefslogtreecommitdiffstats |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Spec.CTR.fst | 3933 | logstatsplain |
-rw-r--r-- | Spec.Chacha20.fst | 5814 | logstatsplain |
-rw-r--r-- | Spec.Curve25519.fst | 5542 | logstatsplain |
-rw-r--r-- | Spec.Poly1305.fst | 3401 | logstatsplain |