| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | equiv_opt: new command, for verifying optimization passes. | whitequark | 2018-12-07 | 1 | -1/+1 |
| * | Added equiv_mark command | Clifford Wolf | 2015-10-23 | 1 | -0/+1 |
| * | Added equiv_purge | Clifford Wolf | 2015-10-22 | 1 | -0/+1 |
| * | Added equiv_struct command | Clifford Wolf | 2015-10-21 | 1 | -0/+1 |
| * | Added equiv_add | Clifford Wolf | 2015-02-08 | 1 | -0/+1 |
| * | Added equiv_remove | Clifford Wolf | 2015-01-25 | 1 | -0/+1 |
| * | Added equiv_miter | Clifford Wolf | 2015-01-25 | 1 | -0/+1 |
| * | Added equiv_induct | Clifford Wolf | 2015-01-22 | 1 | -0/+1 |
| * | Moved equiv stuff to passes/equiv/ | Clifford Wolf | 2015-01-22 | 1 | -0/+5 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |