Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix crash in flowmap | Dag Lem | 2022-09-20 | 1 | -1/+2 |
* | Bump version | github-actions[bot] | 2022-09-14 | 1 | -1/+1 |
* | Fix tmpdir naming when passing -nocleanup option to abc(9) on systems where b... | N. Engelhardt | 2022-09-13 | 2 | -6/+12 |
* | Add CodeQL | Miodrag Milanovic | 2022-09-13 | 1 | -0/+29 |
* | Bump version | github-actions[bot] | 2022-09-09 | 1 | -1/+1 |
* | 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 |