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