Hamish Ivey-Law ed3f0d546f

System Zero bit rotate and shift operations (#535) ...

* Complete versions of rotate left and shift left.

* Implement rotate/shift right.

* cargo fmt

* Fix documentation.

* Reduce visibility of helper functions.

* Address Jaqui's PR comments.

* Disable fall-through check as the run test assumes no failure here.

* Try to fix doctest failure.

2022-05-04 15:54:47 +10:00

..

addition.rs

Implement a mul-add circuit in the ALU (#495)

2022-02-21 00:39:04 -08:00

bitops.rs

System Zero bit rotate and shift operations (#535)

2022-05-04 15:54:47 +10:00

canonical.rs

Implement a mul-add circuit in the ALU (#495)

2022-02-21 00:39:04 -08:00

div-constraints-proof.txt

u32 division (#517)

2022-03-23 10:41:36 -07:00

division.rs

Stop suppressing unused/dead warnings globally (#527)

2022-03-31 22:53:47 -07:00

mod.rs

System Zero bit rotate and shift operations (#535)

2022-05-04 15:54:47 +10:00

mul_add.rs

Stop suppressing unused/dead warnings globally (#527)

2022-03-31 22:53:47 -07:00

rotate_shift.rs

System Zero bit rotate and shift operations (#535)

2022-05-04 15:54:47 +10:00

subtraction.rs

Stop suppressing unused/dead warnings globally (#527)

2022-03-31 22:53:47 -07:00