Revision 5b69e68e015bda2d5292d91c3e93045f9b96acd2 authored by Santiago Zanella-Beguelin on 25 November 2019, 15:43:47 UTC, committed by Santiago Zanella-Beguelin on 29 November 2019, 09:57:25 UTC
1 parent 3ae979b
Spec.SHA1.fsti
module Spec.SHA1
open Spec.Hash.Definitions
val init: init_t SHA1
val update: update_t SHA1
val pad: pad_t SHA1
val finish: finish_t SHA1
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...