| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add WASI platform support. | whitequark | 2020-04-30 | 1 | -1/+2 |
| * | Initial skeleton for `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -0/+1 |
| * | Add fminit pass | Clifford Wolf | 2020-01-09 | 1 | -0/+1 |
| * | Add "cutpoint" pass | Clifford Wolf | 2019-03-25 | 1 | -0/+1 |
| * | Add fmcombine pass | Clifford Wolf | 2019-03-15 | 1 | -0/+1 |
| * | Add basic "mutate -list N" framework | Clifford Wolf | 2019-03-14 | 1 | -0/+1 |
| * | Add "supercover" skeleton | Clifford Wolf | 2019-02-27 | 1 | -0/+1 |
| * | Add async2sync pass | Clifford Wolf | 2018-07-19 | 1 | -0/+1 |
| * | Add "sim" command skeleton | Clifford Wolf | 2017-08-16 | 1 | -0/+1 |
| * | Added clk2fflogic | Clifford Wolf | 2016-10-14 | 1 | -0/+1 |
| * | Added assertpmux | Clifford Wolf | 2016-09-07 | 1 | -0/+1 |
| * | Moved equiv stuff to passes/equiv/ | Clifford Wolf | 2015-01-22 | 1 | -3/+0 |
| * | Added equiv_simple | Clifford Wolf | 2015-01-19 | 1 | -0/+1 |
| * | Added equiv_status | Clifford Wolf | 2015-01-19 | 1 | -0/+1 |
| * | Added equiv_make command | Clifford Wolf | 2015-01-19 | 1 | -0/+1 |
| * | Moved "share" and "wreduce" to passes/opt/ | Clifford Wolf | 2014-09-01 | 1 | -1/+0 |
| * | Started to implement real resource sharing | Clifford Wolf | 2014-07-19 | 1 | -0/+1 |
| * | Added expose command | Clifford Wolf | 2014-02-05 | 1 | -0/+1 |
| * | Added miter command | Clifford Wolf | 2014-02-01 | 1 | -0/+1 |
| * | Added freduce command | Clifford Wolf | 2013-08-06 | 1 | -0/+1 |
| * | Added "eval" pass | Clifford Wolf | 2013-06-19 | 1 | -0/+1 |
| * | Renamed "sat_solve" pass to "sat" | Clifford Wolf | 2013-06-09 | 1 | -1/+1 |
| * | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 | 1 | -0/+3 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |