Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/clifford/pmgenstuff' into xc7mux | Eddie Hung | 2019-05-02 | 9 | -145/+478 |
|\ | |||||
| * | Add peepopt_muldiv, fixes #930 | Clifford Wolf | 2019-04-30 | 5 | -1/+77 |
| * | pmgen progress | Clifford Wolf | 2019-04-30 | 4 | -13/+27 |
| * | Some pmgen reorg, rename peepopt.pmg to peepopt_shiftmul.pmg | Clifford Wolf | 2019-04-30 | 3 | -4/+6 |
| * | Progress in shiftmul peepopt pattern | Clifford Wolf | 2019-04-30 | 1 | -3/+51 |
| * | Add "peepopt" skeleton | Clifford Wolf | 2019-04-29 | 5 | -1/+112 |
| * | Add pmgen support for multiple patterns in one matcher | Clifford Wolf | 2019-04-29 | 3 | -130/+188 |
| * | Support multiple pmg files (right now just concatenated together) | Clifford Wolf | 2019-04-29 | 1 | -6/+30 |
* | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-05-02 | 6 | -4/+69 |
|\ \ | |||||
| * \ | Merge branch 'master' of github.com:YosysHQ/yosys | Eddie Hung | 2019-05-01 | 6 | -6/+74 |
| |\ \ | |||||
| | * | | Add missing enable_undef to "sat -tempinduct-def", fixes #883 | Clifford Wolf | 2019-05-02 | 1 | -0/+1 |
| | * | | Fix floating point exception in qwp, fixes #923 | Clifford Wolf | 2019-05-01 | 1 | -1/+1 |
| | * | | Fix segfault in wreduce | Clifford Wolf | 2019-04-30 | 1 | -0/+2 |
| | * | | Merge pull request #966 from YosysHQ/clifford/fix956 | Clifford Wolf | 2019-04-30 | 2 | -2/+54 |
| | |\ \ | |||||
| | | * | | Add handling of init attributes in "opt_expr -undriven" | Clifford Wolf | 2019-04-30 | 1 | -2/+41 |
| | | * | | Drive dangling wires with init attr with their init value, fixes #956 | Clifford Wolf | 2019-04-29 | 1 | -0/+13 |
| | | |/ | |||||
| | * / | Add -undef option to equiv_opt, passed to equiv_induct | Eddie Hung | 2019-04-26 | 1 | -3/+16 |
| | |/ | |||||
| * / | Copy with 1'bx padding in $shiftx | Eddie Hung | 2019-04-28 | 1 | -1/+11 |
| |/ | |||||
* | | Revert "Merge branch 'eddie/split_shiftx' into xc7mux" | Eddie Hung | 2019-04-26 | 6 | -153/+9 |
* | | Add -undef option to equiv_opt, passed to equiv_induct | Eddie Hung | 2019-04-26 | 1 | -3/+16 |
* | | Actually use pm.st.shiftxB | Eddie Hung | 2019-04-25 | 2 | -3/+6 |
* | | Fix for when B_WIDTH has trailing zeroes | Eddie Hung | 2019-04-25 | 1 | -5/+9 |
* | | Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7mux | Eddie Hung | 2019-04-25 | 2 | -16/+18 |
|\ \ | |||||
| * | | In order to indicate a failed pattern, blacklist? | Eddie Hung | 2019-04-25 | 2 | -15/+16 |
| * | | Elaborate on help message | Eddie Hung | 2019-04-25 | 1 | -1/+2 |
* | | | Merge branch 'eddie/split_shiftx' into xc7mux | Eddie Hung | 2019-04-25 | 6 | -9/+144 |
|\| | | |||||
| * | | Add split_shiftx command | Eddie Hung | 2019-04-25 | 2 | -0/+134 |
| * | | Make pmgen support files more generic | Eddie Hung | 2019-04-25 | 2 | -6/+9 |
| |/ | |||||
| * | Misspelling | Eddie Hung | 2019-04-25 | 1 | -1/+1 |
| * | Remove some left-over log_dump() | Clifford Wolf | 2019-04-23 | 1 | -2/+0 |
| * | Merge pull request #914 from YosysHQ/xc7srl | Eddie Hung | 2019-04-22 | 1 | -5/+159 |
| |\ | |||||
* | \ | Merge branch 'xaig' into xc7mux | Eddie Hung | 2019-04-22 | 8 | -53/+153 |
|\ \ \ | |||||
| * | | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-04-22 | 10 | -51/+1031 |
| |\| | | |||||
| | * | | Merge pull request #951 from YosysHQ/clifford/logdebug | Clifford Wolf | 2019-04-22 | 6 | -50/+125 |
| | |\ \ | |||||
| | | * | | Add log_debug() framework | Clifford Wolf | 2019-04-22 | 6 | -50/+125 |
| | * | | | Merge pull request #949 from YosysHQ/clifford/pmux2shimprove | Clifford Wolf | 2019-04-22 | 1 | -1/+22 |
| | |\ \ \ | |||||
| | | * | | | Add full_pmux feature to pmux2shiftx | Clifford Wolf | 2019-04-22 | 1 | -1/+22 |
| | | |/ / | |||||
| * | | | | Merge remote-tracking branch 'origin/clifford/libwb' into xaig | Eddie Hung | 2019-04-21 | 1 | -1/+1 |
| |\ \ \ \ | |||||
| * \ \ \ \ | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-04-20 | 10 | -44/+167 |
| |\ \ \ \ \ | |||||
| * | | | | | | Ignore 'whitebox' attr in flatten with "-wb" option | Eddie Hung | 2019-04-18 | 1 | -5/+19 |
| * | | | | | | Merge remote-tracking branch 'origin/clifford/whitebox' into xaig | Eddie Hung | 2019-04-18 | 7 | -16/+16 |
| |\ \ \ \ \ \ | |||||
| * | | | | | | | Skip if abc_box_id earlier | Eddie Hung | 2019-04-17 | 1 | -3/+3 |
| * | | | | | | | Remove use of abc_box_id in stat | Eddie Hung | 2019-04-17 | 1 | -3/+0 |
| * | | | | | | | Do not print slack histogram | Eddie Hung | 2019-04-17 | 1 | -1/+1 |
| * | | | | | | | Working ABC9 script | Eddie Hung | 2019-04-17 | 1 | -2/+2 |
| * | | | | | | | abc9 to output some more info | Eddie Hung | 2019-04-16 | 1 | -1/+2 |
| * | | | | | | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-04-16 | 1 | -28/+0 |
| |\ \ \ \ \ \ \ | |||||
| * | | | | | | | | Port from xc7mux branch | Eddie Hung | 2019-04-16 | 2 | -17/+58 |
* | | | | | | | | | Merge remote-tracking branch 'origin/xc7srl' into xc7mux | Eddie Hung | 2019-04-22 | 21 | -179/+1243 |
|\ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|/ | |/| | | | | | | | |||||
| * | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7srl | Eddie Hung | 2019-04-22 | 3 | -2/+54 |
| |\ \ \ \ \ \ \ \ | | | |_|_|_|_|/ / | | |/| | | | | | |