diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-06-15 14:47:24 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-06-15 14:47:24 -0400 |
commit | 69fa341d9ba5e5d4a2ca23b69a2faba2a2e2f641 (patch) | |
tree | a718578289c4c56e14f7a8d0097e7aeba8553706 /src/hashFFI.urs | |
parent | c8e347649e6323c3eae12b6d95fcc888ba73656f (diff) |
Add SHA-2 support
Diffstat (limited to 'src/hashFFI.urs')
-rw-r--r-- | src/hashFFI.urs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/hashFFI.urs b/src/hashFFI.urs index f9c6ba5..63d01f6 100644 --- a/src/hashFFI.urs +++ b/src/hashFFI.urs @@ -14,3 +14,8 @@ specific language governing permissions and limitations under the License. *) val md5 : blob -> string val sha1 : blob -> string + +val sha224 : blob -> string +val sha256 : blob -> string +val sha384 : blob -> string +val sha512 : blob -> string
\ No newline at end of file |