| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Merge pull request #3650 from jix/rtlil_roundtrip_z_bits | Jannis Harder | 2023-01-30 | 1 | -0/+9 |
| |\ |
|
| | * | backends/rtlil: Do not shorten a value with z bits to 'x | Jannis Harder | 2023-01-29 | 1 | -0/+9 |
| * | | add pmux option to bmuxmap for better fsm detection with verific frontend | N. Engelhardt | 2023-01-30 | 1 | -0/+45 |
| * | | Resolve struct member package types | Dag Lem | 2023-01-29 | 1 | -0/+4 |
| * | | Handle struct members of union type (#3641) | Dag Lem | 2023-01-29 | 1 | -0/+16 |
| |/ |
|
| * | Merge pull request #3537 from jix/xprop | Jannis Harder | 2023-01-11 | 6 | -5/+805 |
| |\ |
|
| | * | New xprop pass to encode 3-valued x-propagation using 2-valued logic | Jannis Harder | 2022-11-30 | 4 | -0/+801 |
| | * | simplemap: Map `$xnor` to `$_XNOR_` cells | Jannis Harder | 2022-11-29 | 2 | -5/+4 |
| * | | Merge pull request #3467 from jix/fix_cellarray_simplify | Jannis Harder | 2022-12-19 | 1 | -0/+45 |
| |\ \ |
|
| | * | | simplify: regression test for AST_CELLARRAY simplification issue | Jannis Harder | 2022-12-07 | 1 | -0/+45 |
| * | | | Support for packed multidimensional arrays within packed structs | Dag Lem | 2022-12-03 | 1 | -0/+60 |
| |/ / |
|
| * | | Merge pull request #3551 from daglem/struct-array-swapped-range | Jannis Harder | 2022-12-01 | 1 | -0/+131 |
| |\ \
| |/
|/| |
|
| | * | Tests for unpacked arrays in packed structs are for the Yosys frontend only | Dag Lem | 2022-11-23 | 1 | -0/+4 |
| | * | Support for swapped ranges in second array dimension | Dag Lem | 2022-11-23 | 1 | -0/+42 |
| | * | Support for arrays with swapped ranges within structs | Dag Lem | 2022-11-12 | 1 | -1/+86 |
| * | | Merge branch 'zachjs-master' | Jannis Harder | 2022-11-21 | 1 | -0/+45 |
| |\ \ |
|
| | * | | verilog: Support module-scoped task/function calls | Zachary Snow | 2022-10-29 | 1 | -0/+45 |
| * | | | fabulous: Allow adding extra custom prims and map rules | gatecat | 2022-11-17 | 3 | -0/+21 |
| * | | | fabulous: improvements to the pass | gatecat | 2022-11-17 | 7 | -0/+141 |
| |/ / |
|
| * | | Replace GNU specific invocation of basename(1) with the equivalent | Lloyd Parkes | 2022-10-23 | 1 | -1/+1 |
| * | | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs | Jannis Harder | 2022-10-12 | 1 | -7/+7 |
| * | | Merge pull request #3502 from jix/equiv_opt_fixes | Jannis Harder | 2022-10-11 | 25 | -82/+95 |
| |\ \ |
|
| | * | | Reenable existing equiv_opt tests | Jannis Harder | 2022-10-07 | 13 | -54/+52 |
| | * | | Fix tests for check in equiv_opt | Jannis Harder | 2022-10-07 | 13 | -15/+31 |
| | * | | Re-enable opt_dff_sr equiv_opt checks | Claire Xenia Wolf | 2022-10-07 | 1 | -13/+12 |
| * | | | Merge pull request #3452 from ALGCDG/master | Miodrag Milanović | 2022-10-10 | 1 | -0/+9 |
| |\ \ \
| |/ /
|/| | |
|
| | * | | Adding check for BLIF names command input plane size. | Archie | 2022-08-21 | 1 | -0/+9 |
| * | | | Test fixes for latest iverilog | Miodrag Milanovic | 2022-09-21 | 1 | -2/+12 |
| | |/
|/| |
|
| * | | Add test for bug 3462 | Miodrag Milanovic | 2022-08-29 | 2 | -0/+15 |
| |/ |
|
| * | write_aiger: Fix non-$_FF_ FFs | Jannis Harder | 2022-08-18 | 1 | -0/+7 |
| * | smtbmc: Add native json based witness format + smt2 backend support | Jannis Harder | 2022-08-16 | 1 | -0/+8 |
| * | Merge pull request #3277 from YosysHQ/lofty/rename-scramble_name | N. Engelhardt | 2022-08-11 | 1 | -0/+31 |
| |\ |
|
| | * | rename: add -scramble-name option to randomly rename selections | Lofty | 2022-08-08 | 1 | -0/+31 |
| * | | support file locations containing spaces | Miodrag Milanovic | 2022-08-08 | 3 | -9/+10 |
| |/ |
|
| * | gatemate: Add test for LUT tree mapping | gatecat | 2022-06-27 | 3 | -0/+813 |
| * | Adding expected error message. | Archie | 2022-06-22 | 1 | -0/+1 |
| * | Adding testcase for issue 3374 | Archie | 2022-06-22 | 1 | -0/+3 |
| * | smt2: emit smtlib2_comb_expr outputs after all inputs | Jannis Harder | 2022-06-07 | 2 | -6/+6 |
| * | don't use sed -i because it won't work on macos | Jacob Lifshay | 2022-06-03 | 2 | -2/+3 |
| * | smtlib2_module: try to fix test on macos | Jacob Lifshay | 2022-06-02 | 1 | -1/+1 |
| * | smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions | Jacob Lifshay | 2022-06-02 | 4 | -0/+127 |
| * | verilog: fix width/sign detection for functions | Zachary Snow | 2022-05-30 | 2 | -0/+46 |
| * | verilog: fix size and signedness of array querying functions | Jannis Harder | 2022-05-30 | 1 | -0/+52 |
| * | verilog: fix $past's signedness | Jannis Harder | 2022-05-25 | 1 | -0/+35 |
| * | verilog: fix signedness when removing unreachable cases | Jannis Harder | 2022-05-24 | 1 | -0/+33 |
| * | Add memory_bmux2rom pass. | Marcelina Kościelnicka | 2022-05-18 | 1 | -0/+27 |
| * | Add memory_libmap tests. | Marcelina Kościelnicka | 2022-05-18 | 21 | -0/+1499 |
| * | efinix: Use `memory_libmap` pass. | Marcelina Kościelnicka | 2022-05-18 | 1 | -12/+1 |
| * | ice40: Use `memory_libmap` pass. | Marcelina Kościelnicka | 2022-05-18 | 1 | -56/+0 |
| * | xilinx: Use `memory_libmap` pass. | Marcelina Kościelnicka | 2022-05-18 | 3 | -46/+15 |
