aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator/softfloat.ml
AgeCommit message (Expand)AuthorFilesLines
2023-05-29Add Zfa extension support (excl. quad-precision)Philipp Tomsich1-0/+27
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-0/+63
2020-04-07Switch floating-point comparisons to using softfloat to avoid missed corner-c...Prashanth Mundkur1-0/+17
2019-11-26Add individual ocaml stubs for the softfloat functions.Prashanth Mundkur1-0/+91