Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-05-29 | Add Zfa extension support (excl. quad-precision) | Philipp Tomsich | 1 | -0/+27 |
2022-01-19 | Add support for Zfh extension (#129) | Bilal Sakhawat | 1 | -0/+63 |
2020-04-07 | Switch floating-point comparisons to using softfloat to avoid missed corner-c... | Prashanth Mundkur | 1 | -0/+17 |
2019-11-26 | Add individual ocaml stubs for the softfloat functions. | Prashanth Mundkur | 1 | -0/+91 |