Add small-domain floating-point type MiniFloat to discipline package#4033
Closed
tmccarthy wants to merge 18 commits intotypelevel:mainfrom tmccarthy:minifloat
+701-82
Commits
Commits on Feb 21, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 1, 2021
Commits on Dec 6, 2021
Commits on May 19, 2022
Commits on May 21, 2022
- committed
- committed