| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | Bump version | github-actions[bot] | 2022-09-01 | 1 | -1/+1 | |
| * | | | Merge pull request #3087 from tgingold-cern/sf2 | Miodrag Milanović | 2022-08-31 | 5 | -6/+305 | |
| |\ \ \ | ||||||
| | * | | | sf2: add NOTES about using yosys for smartfusion2 and igloo2 | Tristan Gingold | 2022-08-31 | 1 | -0/+84 | |
| | * | | | sf2: add a test for $alu gate | Tristan Gingold | 2022-08-31 | 1 | -0/+22 | |
| | * | | | sf2: suport $alu gate and ARI1 implementation | Tristan Gingold | 2022-08-31 | 2 | -2/+65 | |
| | * | | | synth_sf2: purge on last clean | Tristan Gingold | 2022-08-31 | 1 | -2/+2 | |
| | * | | | sf2/cells_sim.v: add XTLOSC, SYSRESET cells | Tristan Gingold | 2022-08-31 | 1 | -1/+110 | |
| | * | | | sf2/cells_sim.v: add IOSTD parameter to I/O cells | Tristan Gingold | 2022-08-31 | 1 | -0/+11 | |
| | * | | | synth_sf2: add -discard-ffinit option to discard ff initial value | Tristan Gingold | 2022-08-31 | 1 | -1/+11 | |
| * | | | | 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 | |
| | | |/ | |/| | ||||||
| * | | | Bump version | github-actions[bot] | 2022-08-30 | 1 | -1/+1 | |
| * | | | Merge pull request #3463 from YosysHQ/micko/hierarchy_fix | Miodrag Milanović | 2022-08-29 | 3 | -0/+16 | |
| |\ \ \ | ||||||
| | * | | | Add test for bug 3462 | Miodrag Milanovic | 2022-08-29 | 2 | -0/+15 | |
| | * | | | Makes sure to set initial_top when change, fixes #3462 | Miodrag Milanovic | 2022-08-26 | 1 | -0/+1 | |
| * | | | | Fix mingw build | Miodrag Milanovic | 2022-08-29 | 1 | -0/+3 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-08-26 | 1 | -1/+1 | |
| * | | | Merge pull request #3461 from YosysHQ/aki/hashlib_assert | N. Engelhardt | 2022-08-25 | 1 | -1/+1 | |
| |\ \ \ | ||||||
| | * | | | kernel: hashlib: cleaned up message about table size in cases where `sizeof(i... | Aki Van Ness | 2022-08-25 | 1 | -1/+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 | |
| | |/ / | ||||||
| * | | | 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 | |
| |\ \ | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |