aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator/softfloat.ml
AgeCommit message (Expand)AuthorFilesLines
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