| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sim: -hdlname option to preserve flattened hierarchy in sim output | Jannis Harder | 2022-08-16 | 1 | -9/+41 |
| * | clk2fflogic: Generate less unused logic when using verific | Jannis Harder | 2022-08-16 | 1 | -1/+4 |
| * | rename: Add -witness mode | Jannis Harder | 2022-08-16 | 1 | -0/+81 |
| * | memory_map: Add -formal option | Jannis Harder | 2022-08-16 | 1 | -17/+67 |
| * | setundef: Do not add anyseq / anyconst to unused memory port clocks | Jannis Harder | 2022-08-16 | 1 | -0/+24 |
| * | wreduce: Keep more x-bits with -keepdc | Jannis Harder | 2022-08-16 | 1 | -4/+4 |
| * | formalff: New -setundef option | Jannis Harder | 2022-08-16 | 1 | -0/+335 |
| * | formalff: Set new replaced_by_gclk attribute on removed dff's clks | Jannis Harder | 2022-08-16 | 1 | -0/+22 |
| * | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 7 | -1/+199 |
| * | Merge pull request #3425 from YosysHQ/lofty/stat-json | N. Engelhardt | 2022-08-11 | 1 | -38/+109 |
| |\ |
|
| | * | stat: add option for machine-readable json output | Lofty | 2022-08-11 | 1 | -38/+109 |
| * | | Merge pull request #3277 from YosysHQ/lofty/rename-scramble_name | N. Engelhardt | 2022-08-11 | 1 | -0/+56 |
| |\ \
| |/
|/| |
|
| | * | rename: add -scramble-name option to randomly rename selections | Lofty | 2022-08-08 | 1 | -0/+56 |
| * | | support file locations containing spaces | Miodrag Milanovic | 2022-08-08 | 3 | -9/+9 |
| |/ |
|
| * | opt_reduce: Fix use-after-free. | Marcelina Kościelnicka | 2022-07-23 | 1 | -4/+2 |
| * | sim: Fix $anyseq in nested modules | Jannis Harder | 2022-07-22 | 1 | -11/+21 |
| * | Fix external ABC build after commit 0ca0932b5. | Catherine | 2022-07-07 | 2 | -4/+8 |
| * | Merge pull request #3395 from jix/opt_dff_keepdc_initival | Jannis Harder | 2022-07-01 | 1 | -5/+17 |
| |\ |
|
| | * | opt_dff: With -keepdc, never turn undef init vals into const drivers | Jannis Harder | 2022-06-29 | 1 | -5/+17 |
| * | | Merge pull request #3396 from jix/async2sync_const_clocks | Jannis Harder | 2022-07-01 | 1 | -0/+3 |
| |\ \ |
|
| | * | | async2sync: turn FFs with const clks into gclk FFs with feedback | Jannis Harder | 2022-06-30 | 1 | -0/+3 |
| * | | | Merge pull request #3391 from programmerjake/simcheck-allow-smtlib2-blackboxes | Jannis Harder | 2022-07-01 | 1 | -7/+16 |
| |\ \ \
| |/ /
|/| | |
|
| | * | | add hierarchy -smtcheck | Jacob Lifshay | 2022-06-22 | 1 | -7/+16 |
| | |/ |
|
| * | | memory_map: avoid undriven unused FF inputs for -keepdc | Jannis Harder | 2022-06-28 | 1 | -0/+3 |
| * | | memory_map: -keepdc option for formal | Jannis Harder | 2022-06-27 | 1 | -3/+14 |
| |/ |
|
| * | memory_map: Add -rom-only option. | Marcelina Kościelnicka | 2022-06-17 | 1 | -4/+18 |
| * | memory_map: Use const drivers instead of FFs for ROMs. | Marcelina Kościelnicka | 2022-06-17 | 1 | -52/+59 |
| * | memory_libmap: Fix wrprio handling. | Marcelina Kościelnicka | 2022-06-17 | 1 | -1/+1 |
| * | memory_libmap: Fix params emitted for unused ports for consistency. | Marcelina Kościelnicka | 2022-06-16 | 1 | -2/+3 |
| * | Merge pull request #3196 from bfg86/bfg86/rename | N. Engelhardt | 2022-06-13 | 1 | -4/+13 |
| |\ |
|
| | * | Updating help-text with nakengelhardts suggestion. | bfg86 | 2022-06-13 | 1 | -2/+2 |
| | * | Add -suffix option to rename -wire. | bfg86 | 2022-02-11 | 1 | -4/+13 |
| * | | opt_ffinv: Fix use after free. | Marcelina Kościelnicka | 2022-06-13 | 1 | -3/+6 |
| * | | Merge pull request #3349 from nakengelhardt/select_count_scratchpad | N. Engelhardt | 2022-06-09 | 2 | -0/+12 |
| |\ \ |
|
| | * | | also make 'stat' save counts to scratchpad | N. Engelhardt | 2022-06-01 | 1 | -0/+9 |
| | * | | have 'select -count' save the count to scratchpad entry 'select.count' | N. Engelhardt | 2022-06-01 | 1 | -0/+3 |
| * | | | Merge pull request #3359 from jix/fmcombine-memid | N. Engelhardt | 2022-06-09 | 1 | -0/+3 |
| |\ \ \ |
|
| | * | | | fmcombine: Add _gold/_gate suffix to memids | Jannis Harder | 2022-06-03 | 1 | -0/+3 |
| * | | | | Avoid unnecessary copy of a potential large constant value. | Henner Zeller | 2022-06-09 | 1 | -2/+2 |
| * | | | | wreduce: Introduce -mux_undef option (aligned with opt_expr). | Marcelina Kościelnicka | 2022-06-08 | 1 | -1/+9 |
| * | | | | sta: warn on unrecognised cells only once | Lofty | 2022-06-08 | 1 | -1/+4 |
| * | | | | opt_ffinv: Harden against simple ff/inv loop. | Marcelina Kościelnicka | 2022-06-07 | 1 | -0/+4 |
| * | | | | iopadmap: Fix z assignment removal. | Marcelina Kościelnicka | 2022-06-07 | 1 | -7/+21 |
| |/ / / |
|
| * | | | Fix preventing show crashing with newer graphviz | Miodrag Milanovic | 2022-06-03 | 1 | -1/+6 |
| * | | | Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}. | Marcelina Kościelnicka | 2022-06-02 | 2 | -7/+23 |
| * | | | memory_dff: Add support for no_rw_check attribute. | Marcelina Kościelnicka | 2022-06-02 | 2 | -0/+13 |
| |/ / |
|
| * | | Observe $TMPDIR variable when creating tmp files | Mohamed A. Bamakhrama | 2022-05-27 | 3 | -3/+3 |
| * | | abc9_ops: Don't leave unused derived modules lying around | gatecat | 2022-05-23 | 1 | -0/+9 |
| * | | select: Fix -assert-none and -assert-any error output and docs | Jannis Harder | 2022-05-19 | 1 | -8/+10 |
| * | | Add memory_bmux2rom pass. | Marcelina Kościelnicka | 2022-05-18 | 3 | -1/+97 |
