GitHub repository: GaloisInc/bv-sized-float
Primary language: Haskell
Created: 2018-08-08T21:49:24Z
Description: Floating-point operations for bv-sized