search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
243 stars 34 forks source link

Add `FPBFloat` #582

Closed LeventErkok closed 3 years ago

LeventErkok commented 3 years ago

Just as a synonym for

FPFloatingPoint 8 8

which corresponds to the brain-float format: https://en.wikipedia.org/wiki/Bfloat16_floating-point_format.

All this encompasses is one type-synonym; everything else should just work.