Releases: pennyannn/saw-script
Releases · pennyannn/saw-script
SAW v0.9.0.99-f08bf5bc
This is the version of SAW that contains the match-concrete-size-array branch for unbounded HMAC proofs.
This is the version of SAW that contains the match-concrete-size-array branch for unbounded HMAC proofs.