[submodule "berkeley-softfloat-3"] path = berkeley-softfloat-3 url = https://github.com/ucb-bar/berkeley-softfloat-3 [submodule "berkeley-testfloat-3"] path = berkeley-testfloat-3 url = https://github.com/ucb-bar/berkeley-testfloat-3