search

0xPolygonZero / plonky2

Apache License 2.0
777 stars 289 forks source link

Constrain clock #1343

Closed hratoanina closed 1 year ago

hratoanina commented 1 year ago

The clock register wasn't constrained. We might need to have a more complex logic to update it in future PRs, so I added the constraints in a dedicated file.

sonarcloud[bot] commented 1 year ago

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information