projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95f2a77) | patch
Travis: install SymbiYosys and Yices2.
authorwhitequark <cz@m-labs.hk>
Wed, 16 Jan 2019 00:57:09 +0000 (00:57 +0000)
committerwhitequark <cz@m-labs.hk>
Wed, 16 Jan 2019 01:06:51 +0000 (01:06 +0000)
commit40de8cb60f4a86de201a6fe904fcc5152f309cab
tree10f4fd1c1ffa45f78e82ccea431019daed0766c0tree
parent95f2a771b7dda8e211ff36ddb637c0a8b4e50ad3commit | diff
Travis: install SymbiYosys and Yices2.

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