change .gitlab-ci.yml to use nmigen with smtlib2 support
[ieee754fpu.git] / berkeley-softfloat.patch
2020-01-27 Michael NolanMove patches in README to separate files