| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Prepare for situation when port of the signal cannot be found | Bogdan Vukobratovic | 2019-06-14 | 1 | -1/+1 |
| * | Some cleanup, revert sat.cc | Bogdan Vukobratovic | 2019-06-14 | 2 | -13/+11 |
| * | Implement disconnection of constant register bits | Bogdan Vukobratovic | 2019-06-13 | 1 | -12/+24 |
| * | Rename satgen_algo.h -> algo.h, code cleanup and refactoring | Bogdan Vukobratovic | 2019-06-12 | 1 | -73/+22 |
| * | Generate satgen instance instead of calling sat pass | Bogdan Vukobratovic | 2019-06-11 | 1 | -23/+85 |
| * | Fix the regression | Bogdan Vukobratovic | 2019-05-28 | 1 | -1/+2 |
| * | Optimizing DFFs whose initial value prevents their value from changing | Bogdan Vukobratovic | 2019-05-28 | 2 | -3/+59 |
| * | Merge pull request #1026 from YosysHQ/clifford/fix1023 | Clifford Wolf | 2019-05-27 | 1 | -2/+3 |
| |\ |
|
| | * | Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023 | Clifford Wolf | 2019-05-22 | 1 | -2/+3 |
| * | | Revert enable check | Eddie Hung | 2019-05-25 | 1 | -3/+1 |
| * | | opt_rmdff to optimise even in presence of enable signal, even removing | Eddie Hung | 2019-05-24 | 1 | -12/+29 |
| * | | Add comments | Eddie Hung | 2019-05-24 | 1 | -1/+22 |
| * | | Resolve @cliffordwolf review, set even if !has_init | Eddie Hung | 2019-05-24 | 1 | -2/+1 |
| * | | Fix spacing | Eddie Hung | 2019-05-23 | 1 | -2/+2 |
| * | | opt_rmdff to work on $dffe and $_DFFE_* | Eddie Hung | 2019-05-23 | 1 | -3/+32 |
| |/ |
|
| * | Add "wreduce -keepdc", fixes #1016 | Clifford Wolf | 2019-05-20 | 1 | -1/+9 |
| * | Improvements in opt_clean | Clifford Wolf | 2019-05-15 | 1 | -10/+10 |
| * | Do not leak file descriptors in cover.cc | Clifford Wolf | 2019-05-15 | 1 | -5/+6 |
| * | Fix two instances of integer-assignment to string. | Henner Zeller | 2019-05-14 | 2 | -2/+3 |
| * | bugpoint: check for -script option. | whitequark | 2019-05-14 | 1 | -0/+3 |
| * | Fix handling of glob_abort_cnt in opt_muxtree, fixes #1002 | Clifford Wolf | 2019-05-12 | 1 | -3/+11 |
| * | Merge pull request #1003 from makaimann/zinit-all | Clifford Wolf | 2019-05-11 | 1 | -1/+1 |
| |\ |
|
| | * | Zinit option '-singleton' -> '-all' | Makai Mann | 2019-05-10 | 1 | -1/+1 |
| * | | Add "fmcombine -initeq -anyeq" | Clifford Wolf | 2019-05-11 | 1 | -3/+38 |
| * | | Add "stat -tech xilinx" | Clifford Wolf | 2019-05-11 | 1 | -3/+73 |
| |/ |
|
| * | Merge pull request #991 from kristofferkoch/gcc9-warnings | Clifford Wolf | 2019-05-08 | 2 | -4/+3 |
| |\ |
|
| | * | Fix all warnings that occurred when compiling with gcc9 | Kristoffer Ellersgaard Koch | 2019-05-08 | 2 | -4/+3 |
| * | | 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 |
| |\ \ \ \
| |/ / /
|/| | | |
|
