projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6191760) | patch
Travis: install SymbiYosys and Yices2.
authorwhitequark <whitequark@whitequark.org>
Wed, 16 Jan 2019 00:57:09 +0000 (00:57 +0000)
committerwhitequark <whitequark@whitequark.org>
Wed, 16 Jan 2019 01:06:51 +0000 (01:06 +0000)
commitbfe246a1278bc50ffd6aaae01a2be06e26027092
tree10f4fd1c1ffa45f78e82ccea431019daed0766c0tree
parent6191760c308864ede07704a546b19979b1efaf54commit | diff
Travis: install SymbiYosys and Yices2.

In preparation for adding formal tests.
.travis.yml diff | blob | history