History log of /seL4-test-master/tools/riscv-pk/softfloat/platform.h
Revision Date Author Comments
# 5cd8d2b9 11-Jul-2018 Andrew Waterman <andrew@sifive.com>

Upgrade to SoftFloat 3e
# 16476bd8 09-Jul-2018 Andrew Waterman <andrew@sifive.com>

Properly license all nontrivial files
# 6517fe26 12-Mar-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Update to new privileged spec