History log of /seL4-camkes-master/tools/riscv-pk/machine/fp_emulation.h
Revision Date Author Comments
# 16476bd8 09-Jul-2018 Andrew Waterman <andrew@sifive.com>

Properly license all nontrivial files
# 15a11144 15-Feb-2017 Andrew Waterman <andrew@sifive.com>

Emulate RVFC instructions
# 6c1d0604 25-Oct-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Use __riscv_flen macro to detect FP support
# ccf79891 10-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Factor emulation routines into multiple files
# b94c7a4b 10-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Refactor pk, bbl, machine into separate libraries

Yuck.