History log of /seL4-l4v-master/HOL4/src/portableML/poly/SHA1_ML.sml
Revision Date Author Comments
# d98c4ef0 17-Feb-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix SHA1 implementations to work with Moscow ML too

Moscow ML doesn't come with a Word64 implementation, so its
implementation is to hope that shasum exists and to call it.