Broken links in README.md

GaloisInc / hacrypto

Experiments in high-assurance crypto.

BSD 3-Clause "New" or "Revised" License

46 stars 14 forks source link

Closed briansmith closed 8 years ago

briansmith commented 8 years ago

The link to AUDITS.md is broken, I think because it uses the wrong case (s/Audits.md/AUDITS.md/).

The link to callsha is broken. I think it needs to be Verification/VST/sha.

briansmith commented 8 years ago

Also, s/Valdiation/Validation/

TomMD commented 8 years ago

Thanks for the reports.