diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-12-12 21:48:55 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-12-12 21:48:55 +0100 |
| commit | f697282246862d99ae5c1798456c9082c615cea2 (patch) | |
| tree | f5fb992c711a67c68804208daad0316253b273c2 /.travis | |
| parent | 2b6307547f37c219a67fea6345249615aaa5fc9a (diff) | |
| download | yosys-f697282246862d99ae5c1798456c9082c615cea2.tar.gz yosys-f697282246862d99ae5c1798456c9082c615cea2.tar.bz2 yosys-f697282246862d99ae5c1798456c9082c615cea2.zip | |
Add btor back-end support for 'x' constants
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions