Skip to content

Bitblasting operator names.

As discussed on Alethe's Zulip, we have converged to rename the operators currently named @bbT and @bitOf to @bbterm and @bit_of.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information