JML Specifications for KeyBlob#72

Merged

SalusaSecondus merged 7 commits intoaws:masterfrom

slyubomirsky:jml-annotated

Sep 11, 2018

Commits on Aug 31, 2018

Commits on Sep 1, 2018

Add JML readme
slyubomirsky
committed

Commits on Sep 5, 2018

Update KeyBlob to account for parsing unsigned shorts for field lengths
slyubomirsky
committed

Commits on Sep 6, 2018

Commits on Sep 7, 2018

Correct JML cast error in KeyBlob.toByteArray()
slyubomirsky
committed