| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| | | * | | | | | | | 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 |
| | * | | | | | | 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 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 |
| | |/ / / |
|
