| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Moved equiv stuff to passes/equiv/ | Clifford Wolf | 2015-01-22 |
| * | Added equiv_simple | Clifford Wolf | 2015-01-19 |
| * | Added equiv_status | Clifford Wolf | 2015-01-19 |
| * | Added equiv_make command | Clifford Wolf | 2015-01-19 |
| * | Moved "share" and "wreduce" to passes/opt/ | Clifford Wolf | 2014-09-01 |
| * | Started to implement real resource sharing | Clifford Wolf | 2014-07-19 |
| * | Added expose command | Clifford Wolf | 2014-02-05 |
| * | Added miter command | Clifford Wolf | 2014-02-01 |
| * | Added freduce command | Clifford Wolf | 2013-08-06 |
| * | Added "eval" pass | Clifford Wolf | 2013-06-19 |
| * | Renamed "sat_solve" pass to "sat" | Clifford Wolf | 2013-06-09 |
| * | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 |
 |
index : yosys | |
| Debian dgit repo for package yosys |
| summaryrefslogtreecommitdiff |