search

usubalang / usuba

A programming language to write bitsliced ciphers
https://usubalang.github.io/usuba
MIT License
56 stars 11 forks source link

`fuse_loops`: proper fixpoint #67

Open pedagand opened 2 years ago

pedagand commented 2 years ago

The two consecutive applications of fuse_loops_def (https://github.com/usubalang/usuba/blob/main/src/optimization/fuse_loops.ml#L150-L151) should not be necessary.