fix typos found by spellchecker

project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.

Apache License 2.0

124 stars 20 forks source link

Closed ju-sh closed 2 years ago

ju-sh commented 2 years ago

Hi. I ran some of the files in the repo through a spell checker and fixed a few more typos (couldn't help it 😬. Hope you won't mind).

Not sure if any of the 'fixes' are in fact wrong though.

blaxill commented 2 years ago

Thanks!