| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Revert "Merge pull request #641 from tklam/master" | Claire Xenia Wolf | 2022-10-07 | 1 | -81/+5 |
| * | clk2fflogic: Always correctly handle simultaneously changing signals | Jannis Harder | 2022-10-07 | 1 | -103/+87 |
| * | mutate: warn if less mutations possible than number requested | N. Engelhardt | 2022-10-05 | 1 | -0/+2 |
| * | Merge pull request #3486 from daglem/fix-flowmap-crash | Miodrag Milanović | 2022-09-23 | 1 | -1/+2 |
| |\ |
|
| | * | Fix crash in flowmap | Dag Lem | 2022-09-20 | 1 | -1/+2 |
| * | | remove extra space in formating | Kamyar Mohajerani | 2022-09-22 | 1 | -2/+2 |
| * | | stat: add tech tech-specific utilizations to json | Kamyar Mohajerani | 2022-09-22 | 1 | -65/+91 |
| |/ |
|
| * | Fix tmpdir naming when passing -nocleanup option to abc(9) on systems where b... | N. Engelhardt | 2022-09-13 | 2 | -6/+12 |
| * | Merge pull request #3458 from QuantamHD/abc_faster | N. Engelhardt | 2022-08-31 | 1 | -6/+6 |
| |\ |
|
| | * | Improves ABC command runtime by 10-100x | Ethan Mahintorabi | 2022-08-24 | 1 | -6/+6 |
| * | | Makes sure to set initial_top when change, fixes #3462 | Miodrag Milanovic | 2022-08-26 | 1 | -0/+1 |
| * | | Merge pull request #3449 from YosysHQ/aki/show_pathrw | N. Engelhardt | 2022-08-25 | 1 | -0/+1 |
| |\ \ |
|
| | * | | yosys: passes: cmds: show: added filename re-writing to `show -lib` | Aki Van Ness | 2022-08-22 | 1 | -0/+1 |
| | |/ |
|
| * / | Fitting help messages to 80 character width | KrystalDelusion | 2022-08-24 | 24 | -149/+157 |
| |/ |
|
| * | 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 |
