| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | 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 | |
| * | | Next dev cycle | Miodrag Milanovic | 2022-08-03 | 2 | -2/+5 | |
| * | | Release version 0.20 | Miodrag Milanovic | 2022-08-03 | 2 | -3/+3 | |
| * | | Update Changelog | Miodrag Milanovic | 2022-08-03 | 1 | -0/+7 | |
| * | | update manual to latest | Miodrag Milanovic | 2022-08-03 | 1 | -2/+5 | |
| * | | Merge pull request #3432 from YosysHQ/aki/jny_updates | Miodrag Milanović | 2022-08-03 | 2 | -10/+226 | |
| |\ \ | ||||||
| | * | | misc: Added JNY schema definition | Aki Van Ness | 2022-08-02 | 1 | -0/+193 | |
| | * | | backend: jny: updated the `JnyWriter` to emite a new "invocation" entry as we... | Aki Van Ness | 2022-08-02 | 1 | -10/+33 | |
| * | | | Update manual and changelog | Miodrag Milanovic | 2022-08-03 | 2 | -0/+9 | |
| * | | | Bump version | github-actions[bot] | 2022-08-03 | 1 | -1/+1 | |
| * | | | Merge pull request #3433 from jix/fix_smt_shift | Jannis Harder | 2022-08-02 | 1 | -4/+4 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | smt2: Fix $shift/$shiftx with negative shift ammounts | Jannis Harder | 2022-08-02 | 1 | -4/+4 | |
| |/ / | ||||||
| * | | Bump version | github-actions[bot] | 2022-08-02 | 1 | -1/+1 | |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |