| Commit message (Expand) | Author | Age | Files | Lines |
* | stat: Fix JSON output for empty designs | Jannis Harder | 2022-12-02 | 1 | -2/+2 |
* | tee: Allow logging command output to a given scratchpad value | Jannis Harder | 2022-12-02 | 1 | -0/+13 |
* | sat: Add -set-def-formal option to force defined $any* outputs | Jannis Harder | 2022-11-28 | 1 | -6/+22 |
* | Support importing verilog configurations using Verific | Miodrag Milanovic | 2022-11-25 | 1 | -1/+1 |
* | mention prerequisites in fsm_detect and fsm help | N. Engelhardt | 2022-11-21 | 2 | -0/+18 |
* | Rst docs conversion (#3496) | KrystalDelusion | 2022-11-15 | 2 | -1/+3 |
* | sim: Run a comb-only update step to set past values during FST cosim | Jannis Harder | 2022-11-07 | 1 | -12/+11 |
* | Add extra time at the end of a sat VCD trace | Claire Xenia Wolf | 2022-11-01 | 1 | -0/+1 |
* | Add miter -cross option | Claire Xenia Wolf | 2022-10-24 | 1 | -4/+32 |
* | Consistent $mux undef handling | Jannis Harder | 2022-10-24 | 1 | -1/+1 |
* | Add "check -assert" to equiv_opt | Claire Xenia Wolf | 2022-10-07 | 1 | -1/+13 |
* | Exclude primary inputs from quiv_make rewiring | Claire Xenia Wolf | 2022-10-07 | 1 | -0/+7 |
* | 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 |