| Commit message (Expand) | Author | Age | Files | Lines |
* | More opt_clean cleanups | Clifford Wolf | 2019-05-07 | 1 | -26/+36 |
* | Merge pull request #946 from YosysHQ/clifford/specify | Clifford Wolf | 2019-05-06 | 1 | -1/+1 |
|\ |
|
| * | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/specify | Clifford Wolf | 2019-05-06 | 1 | -10/+22 |
| |\ |
|
| * \ | Merge remote-tracking branch 'origin/master' into clifford/specify | Eddie Hung | 2019-05-03 | 17 | -188/+649 |
| |\ \ |
|
| * | | | Add $specrule cells for $setup/$hold/$skew specify rules | Clifford Wolf | 2019-04-23 | 1 | -1/+1 |
| * | | | Preserve $specify[23] cells | Clifford Wolf | 2019-04-23 | 1 | -1/+1 |
* | | | | Merge pull request #975 from YosysHQ/clifford/fix968 | Clifford Wolf | 2019-05-06 | 1 | -11/+41 |
|\ \ \ \ |
|
| * \ \ \ | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/fix968 | Clifford Wolf | 2019-05-06 | 18 | -222/+614 |
| |\ \ \ \ |
|
| * | | | | | Further improve unused-detection for opt_clean driver-driver conflict warning | Clifford Wolf | 2019-05-03 | 1 | -5/+8 |
| * | | | | | Improve unused-detection for opt_clean driver-driver conflict warning | Clifford Wolf | 2019-05-03 | 1 | -21/+29 |
| * | | | | | Silently resolve completely unused cell-vs-const driver-driver conflicts | Clifford Wolf | 2019-05-01 | 1 | -2/+21 |
* | | | | | | Merge pull request #871 from YosysHQ/verific_import | Clifford Wolf | 2019-05-06 | 1 | -18/+58 |
|\ \ \ \ \ \
| |_|/ / / /
|/| | | | | |
|
| * | | | | | Add "hierarchy -chparam" support for non-verific top modules | Clifford Wolf | 2019-05-03 | 1 | -12/+35 |
| * | | | | | log_warning_noprefix -> log_warning as per review | Eddie Hung | 2019-05-03 | 1 | -1/+1 |
| * | | | | | WIP -chparam support for hierarchy when verific | Eddie Hung | 2019-05-03 | 1 | -7/+24 |
* | | | | | | Bugfix in peepopt_shiftmul.pmg | Clifford Wolf | 2019-05-06 | 1 | -0/+4 |
* | | | | | | Merge pull request #989 from YosysHQ/dave/abc_name_improve | Clifford Wolf | 2019-05-06 | 1 | -8/+21 |
|\ \ \ \ \ \ |
|
| * | | | | | | abc: Fix handling of postfixed names (e.g. for retiming) | David Shah | 2019-05-04 | 1 | -4/+4 |
| * | | | | | | abc: Improve name recovery | David Shah | 2019-05-04 | 1 | -4/+17 |
| | |_|_|_|/
| |/| | | | |
|
* | | | | | | Fix bug in "expose -input" | Clifford Wolf | 2019-05-06 | 1 | -1/+1 |
* | | | | | | Cleanups in opt_clean | Clifford Wolf | 2019-05-06 | 1 | -47/+16 |
|/ / / / / |
|
* | | | / | Improve opt_clean handling of unused wires | Clifford Wolf | 2019-05-04 | 1 | -10/+22 |
| |_|_|/
|/| | | |
|
* | | | | Merge pull request #969 from YosysHQ/clifford/pmgenstuff | Clifford Wolf | 2019-05-03 | 10 | -151/+496 |
|\ \ \ \
| |/ / /
|/| | | |
|
| * | | | Update pmgen documentation | Clifford Wolf | 2019-05-03 | 1 | -6/+18 |
| * | | | Fix typo | Clifford Wolf | 2019-05-03 | 1 | -1/+1 |
| * | | | 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 pull request #984 from YosysHQ/eddie/fix_982 | Clifford Wolf | 2019-05-03 | 1 | -1/+2 |
|\ \ \ \ |
|
| * | | | | If init is 1'bx, do not add to dict as per @cliffordwolf | Eddie Hung | 2019-05-03 | 1 | -1/+2 |
| * | | | | Revert "dffinit -noreinit to silently continue when init value is 1'bx" | Eddie Hung | 2019-05-03 | 1 | -12/+4 |
| * | | | | dffinit -noreinit to silently continue when init value is 1'bx | Eddie Hung | 2019-05-02 | 1 | -4/+12 |
* | | | | | Improve opt_expr and opt_clean handling of (partially) undriven and/or unused... | Clifford Wolf | 2019-05-03 | 2 | -44/+81 |
|/ / / / |
|
* | | | | 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 |
|/ / |
|
* / | 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 remote-tracking branch 'origin/master' into xc7srl | Eddie Hung | 2019-04-22 | 3 | -2/+54 |
| |\ |
|