| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | Update to latest ABC changes | Miodrag Milanovic | 2022-09-08 | 1 | -1/+1 | |
| * | | | Bump version | github-actions[bot] | 2022-09-08 | 1 | -1/+1 | |
| * | | | Update to latest abc | Miodrag Milanovic | 2022-09-07 | 1 | -1/+1 | |
| * | | | verific: better fix for read callback | Miodrag Milanovic | 2022-09-07 | 1 | -5/+3 | |
| * | | | verific: fix crash when using prep right after read | Miodrag Milanovic | 2022-09-07 | 1 | -0/+3 | |
| * | | | Bump version | github-actions[bot] | 2022-09-07 | 1 | -1/+1 | |
| * | | | Next dev cycle | Miodrag Milanovic | 2022-09-06 | 2 | -2/+5 | |
| * | | | Release version 0.21 | Miodrag Milanovic | 2022-09-06 | 2 | -3/+3 | |
| * | | | Update Changelog | Miodrag Milanovic | 2022-09-06 | 1 | -0/+13 | |
| * | | | Update documentation | Miodrag Milanovic | 2022-09-06 | 1 | -170/+288 | |
| * | | | Bump version | github-actions[bot] | 2022-09-06 | 1 | -1/+1 | |
| * | | | Replaced old markdown Issue template with new GitHub forms templates (#3468) | Aki | 2022-09-05 | 4 | -24/+100 | |
| * | | | Merge pull request #3470 from jix/smtbmc-faster-parse | Jannis Harder | 2022-09-05 | 1 | -12/+9 | |
| |\ \ \ | ||||||
| | * | | | smtbmc: Avoid unnecessary string copies when parsing solver output | Jannis Harder | 2022-09-02 | 1 | -12/+9 | |
| |/ / / | ||||||
| * | | | 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 | |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |