Skip to content

All Floating-point Operations Should Be Typed

Add a type to manage the proper verification of all floating-point operations to guarantee its checking.

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