Finish remaining SHA256 proof items

project-oak / silveroak

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

Apache License 2.0

123 stars 20 forks source link

Finish remaining SHA256 proof items #952

Closed blaxill closed 2 years ago

blaxill commented 2 years ago

Hmm failing due to OO memory in CI. Interestingly compiling hw/Sha256Properties.v via makefile seems to take a lot longer than running it interactively.