Add more comparators and fold_left templates

project-oak / silveroak

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

Apache License 2.0

123 stars 20 forks source link

Add more comparators and fold_left templates #933

Closed jadephilipoom closed 2 years ago

jadephilipoom commented 2 years ago

Just some extra pieces that might come in useful when writing circuits -- I thought I might need these but ended up not needing them. Seems useful to have anyway.