| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | yosys: passes: cmds: show: added filename re-writing to `show -lib` | Aki Van Ness | 2022-08-22 | 1 | -0/+1 | |
| | |/ / | ||||||
| * | | | use inttypes format specifiers | N. Engelhardt | 2022-08-25 | 1 | -3/+3 | |
| * | | | dump runtime information for passes to json | N. Engelhardt | 2022-08-25 | 1 | -1/+28 | |
| * | | | Merge pull request #3457 from KrystalDelusion/docs_width | N. Engelhardt | 2022-08-25 | 35 | -184/+198 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | Fitting help messages to 80 character width | KrystalDelusion | 2022-08-24 | 35 | -184/+198 | |
| |/ / | ||||||
| * | | Bump version | github-actions[bot] | 2022-08-19 | 1 | -1/+1 | |
| * | | Merge pull request #3450 from jix/write_aiger_nonff | Jannis Harder | 2022-08-18 | 2 | -1/+8 | |
| |\ \ | ||||||
| | * | | write_aiger: Fix non-$_FF_ FFs | Jannis Harder | 2022-08-18 | 2 | -1/+8 | |
| |/ / | ||||||
| * | | Bump version | github-actions[bot] | 2022-08-17 | 1 | -1/+1 | |
| * | | Merge pull request #3434 from jix/witness_flow | Jannis Harder | 2022-08-16 | 33 | -167/+2255 | |
| |\ \ | ||||||
| | * | | sim: -hdlname option to preserve flattened hierarchy in sim output | Jannis Harder | 2022-08-16 | 2 | -9/+43 | |
| | * | | smtbmc: Set step range for --yw and dont skip steps for --check-witness | Jannis Harder | 2022-08-16 | 1 | -2/+14 | |
| | * | | Update CEX minimization patches for abc | Jannis Harder | 2022-08-16 | 1 | -1/+1 | |
| | * | | 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 | 2 | -0/+83 | |
| | * | | yosys-witness: Add stats command | Jannis Harder | 2022-08-16 | 1 | -0/+18 | |
| | * | | smtbmc: Add --check-witness mode | Jannis Harder | 2022-08-16 | 1 | -1/+22 | |
| | * | | aiger: Add yosys-witness support | Jannis Harder | 2022-08-16 | 3 | -2/+320 | |
| | * | | smtbmc: Add native json based witness format + smt2 backend support | Jannis Harder | 2022-08-16 | 9 | -113/+983 | |
| | * | | btor: Support $anyinit cells | Jannis Harder | 2022-08-16 | 1 | -1/+1 | |
| | * | | aiger: Support $anyinit cells | Jannis Harder | 2022-08-16 | 1 | -0/+11 | |
| | * | | smt2: Support $anyinit cells | Jannis Harder | 2022-08-16 | 1 | -10/+11 | |
| | * | | memory_map: Add -formal option | Jannis Harder | 2022-08-16 | 2 | -17/+68 | |
| | * | | 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 | 4 | -0/+44 | |
| | * | | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 16 | -8/+271 | |
| |/ / | ||||||
| * | | Bump version | github-actions[bot] | 2022-08-12 | 1 | -1/+1 | |
| * | | 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 | 2 | -0/+87 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | rename: add -scramble-name option to randomly rename selections | Lofty | 2022-08-08 | 2 | -0/+87 | |
| * | | | Bump version | github-actions[bot] | 2022-08-11 | 1 | -1/+1 | |
| * | | | Merge pull request #3443 from YosysHQ/micko/resetall_undefineall | Miodrag Milanović | 2022-08-10 | 1 | -0/+5 | |
| |\ \ \ | ||||||
| | * | | | set default_nettype to wire for resetall | Miodrag Milanovic | 2022-08-10 | 1 | -0/+1 | |
| | * | | | resetall does not affect text defines, but undefineall does | Miodrag Milanovic | 2022-08-10 | 1 | -0/+4 | |
| |/ / / | ||||||
| * | | | Merge pull request #3322 from Forty-Bot/default_assignment_first | N. Engelhardt | 2022-08-10 | 1 | -10/+38 | |
| |\ \ \ | ||||||
| | * | | | Order ports with default assignments first | Sean Anderson | 2022-08-09 | 1 | -10/+38 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-08-10 | 1 | -1/+1 | |
| * | | | nexus: Fix BRAM mapping. | Marcelina Kościelnicka | 2022-08-09 | 1 | -18/+56 | |
| * | | | Merge pull request #3441 from YosysHQ/micko/smtio-utf-8 | Miodrag Milanović | 2022-08-09 | 1 | -2/+2 | |
| |\ \ \ | ||||||
| | * | | | Switched to utf-8 in smtio.py | Miodrag Milanovic | 2022-08-09 | 1 | -2/+2 | |
| |/ / / | ||||||
| * | | | properly encode string in rtlil | Miodrag Milanovic | 2022-08-09 | 1 | -1/+1 | |
| * | | | Bump version | github-actions[bot] | 2022-08-09 | 1 | -1/+1 | |
| * | | | Merge pull request #3439 from YosysHQ/micko/filepath_improve | Miodrag Milanović | 2022-08-08 | 10 | -60/+90 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | support file locations containing spaces | Miodrag Milanovic | 2022-08-08 | 6 | -18/+19 | |
| | * | | Encode filename unprintable chars | Miodrag Milanovic | 2022-08-08 | 4 | -27/+42 | |
| | * | | verific - make filepath handling compatible with verilog frontend | Miodrag Milanovic | 2022-08-08 | 1 | -15/+29 | |
| |/ / | ||||||
| * | | Bump version | github-actions[bot] | 2022-08-04 | 1 | -1/+1 | |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |