diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-30 17:18:31 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-30 18:37:17 +0200 |
| commit | 3f0a5746ef0940accb5fd14d97804c75c0531c0b (patch) | |
| tree | 74d0943bf4af8e1ead23991f7c5d8149c42b60f2 /passes/sat | |
| parent | 9b566a7efa9813b0dd343bc96fe145f9e3e68d4f (diff) | |
| download | yosys-3f0a5746ef0940accb5fd14d97804c75c0531c0b.tar.gz yosys-3f0a5746ef0940accb5fd14d97804c75c0531c0b.tar.bz2 yosys-3f0a5746ef0940accb5fd14d97804c75c0531c0b.zip | |
Using native ezSAT shift ops in satgen, fixed $shift and $shiftx SAT models
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions