Merge branch 'master' into btor-ng
[yosys.git] / .travis / build-and-test.sh
2017-11-24 Clifford WolfMerge branch 'master' into btor-ng
2017-11-24 Clifford WolfMerge pull request #446 from mithro/travis-rework
2017-11-24 Tim 'mithro' Anselltravis: Reworking travis setup.