| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | | * | Add timescale and generated-by header to yosys-smtbmc MkVcd | Clifford Wolf | 2019-06-16 | 1 | -0/+2 | |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | Handle COs driven by 1'bx | Eddie Hung | 2019-06-20 | 1 | -3/+9 | |
| | | | | ||||||
| | * | | write_xaiger to skip POs driven by 1'bx | Eddie Hung | 2019-06-20 | 1 | -3/+7 | |
| | | | | ||||||
| | * | | Cleanup | Eddie Hung | 2019-06-16 | 1 | -228/+25 | |
| | | | | ||||||
| * | | | Cleanup | Eddie Hung | 2019-06-16 | 1 | -39/+30 | |
| | | | | ||||||
| * | | | Cleanup write_xaiger | Eddie Hung | 2019-06-15 | 1 | -15/+10 | |
| | | | | ||||||
| * | | | Preserve init of flops, and write into XAIG | Eddie Hung | 2019-06-15 | 1 | -5/+30 | |
| | | | | ||||||
| * | | | Do not treat $__ABC_FF_ as a user cell | Eddie Hung | 2019-06-15 | 1 | -9/+9 | |
| | | | | ||||||
| * | | | Update comment | Eddie Hung | 2019-06-15 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Use $__ABC_FF_ instead of $_FF_ | Eddie Hung | 2019-06-15 | 1 | -2/+2 | |
| | | | | ||||||
| * | | | Update comment | Eddie Hung | 2019-06-15 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | write_xaiger to treat abc_flop boxes as boxff for ABC | Eddie Hung | 2019-06-15 | 1 | -122/+105 | |
| |/ / | ||||||
 |
index : iCE40/yosys | |
| clone of https://github.com/YosysHQ/yosys |
| aboutsummaryrefslogtreecommitdiffstats |