aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #3494 from YosysHQ/micko/verific_attributesMiodrag Milanović2022-10-041-19/+91
|\
| * support file content redirection for verific frontenedMiodrag Milanovic2022-09-281-14/+60
| * Add comment for future selfMiodrag Milanovic2022-09-281-0/+7
| * Handle attributes imported from verificMiodrag Milanovic2022-09-281-5/+24
|/
* Bump versiongithub-actions[bot]2022-09-271-1/+1
* Merge pull request #3489 from hzeller/20220924-fix-hardcoded-bin-bashMiodrag Milanović2022-09-261-1/+1
|\
| * Fix hard-coded path to /bin/bash -> /usr/bin/env bashHenner Zeller2022-09-241-1/+1
|/
* Merge pull request #3486 from daglem/fix-flowmap-crashMiodrag Milanović2022-09-231-1/+2
|\
| * Fix crash in flowmapDag Lem2022-09-201-1/+2
* | Bump versiongithub-actions[bot]2022-09-231-1/+1
* | remove extra space in formatingKamyar Mohajerani2022-09-221-2/+2
* | stat: add tech tech-specific utilizations to jsonKamyar Mohajerani2022-09-221-65/+91
* | Bump versiongithub-actions[bot]2022-09-221-1/+1
* | Merge pull request #3488 from YosysHQ/micko/test_fixMiodrag Milanović2022-09-213-5/+14
|\ \
| * | Test fixes for latest iverilogMiodrag Milanovic2022-09-213-5/+14
| |/
* | Merge pull request #3487 from YosysHQ/micko/verific_mem_fixMiodrag Milanović2022-09-211-0/+1
|\ \ | |/ |/|
| * Import memory attributesMiodrag Milanovic2022-09-211-0/+1
|/
* Bump versiongithub-actions[bot]2022-09-141-1/+1
* Fix tmpdir naming when passing -nocleanup option to abc(9) on systems where b...N. Engelhardt2022-09-132-6/+12
* Add CodeQLMiodrag Milanovic2022-09-131-0/+29
* Bump versiongithub-actions[bot]2022-09-091-1/+1
* Update to latest ABC changesMiodrag Milanovic2022-09-081-1/+1
* Bump versiongithub-actions[bot]2022-09-081-1/+1
* Update to latest abcMiodrag Milanovic2022-09-071-1/+1
* verific: better fix for read callbackMiodrag Milanovic2022-09-071-5/+3
* verific: fix crash when using prep right after readMiodrag Milanovic2022-09-071-0/+3
* Bump versiongithub-actions[bot]2022-09-071-1/+1
* Next dev cycleMiodrag Milanovic2022-09-062-2/+5
* Release version 0.21Miodrag Milanovic2022-09-062-3/+3
* Update ChangelogMiodrag Milanovic2022-09-061-0/+13
* Update documentationMiodrag Milanovic2022-09-061-170/+288
* Bump versiongithub-actions[bot]2022-09-061-1/+1
* Replaced old markdown Issue template with new GitHub forms templates (#3468)Aki2022-09-054-24/+100
* Merge pull request #3470 from jix/smtbmc-faster-parseJannis Harder2022-09-051-12/+9
|\
| * smtbmc: Avoid unnecessary string copies when parsing solver outputJannis Harder2022-09-021-12/+9
|/
* Bump versiongithub-actions[bot]2022-09-011-1/+1
* Merge pull request #3087 from tgingold-cern/sf2Miodrag Milanović2022-08-315-6/+305
|\
| * sf2: add NOTES about using yosys for smartfusion2 and igloo2Tristan Gingold2022-08-311-0/+84
| * sf2: add a test for $alu gateTristan Gingold2022-08-311-0/+22
| * sf2: suport $alu gate and ARI1 implementationTristan Gingold2022-08-312-2/+65
| * synth_sf2: purge on last cleanTristan Gingold2022-08-311-2/+2
| * sf2/cells_sim.v: add XTLOSC, SYSRESET cellsTristan Gingold2022-08-311-1/+110
| * sf2/cells_sim.v: add IOSTD parameter to I/O cellsTristan Gingold2022-08-311-0/+11
| * synth_sf2: add -discard-ffinit option to discard ff initial valueTristan Gingold2022-08-311-1/+11
* | Merge pull request #3458 from QuantamHD/abc_fasterN. Engelhardt2022-08-311-6/+6
|\ \ | |/ |/|
| * Improves ABC command runtime by 10-100xEthan Mahintorabi2022-08-241-6/+6
* | Bump versiongithub-actions[bot]2022-08-301-1/+1
* | Merge pull request #3463 from YosysHQ/micko/hierarchy_fixMiodrag Milanović2022-08-293-0/+16
|\ \
| * | Add test for bug 3462Miodrag Milanovic2022-08-292-0/+15
| * | Makes sure to set initial_top when change, fixes #3462Miodrag Milanovic2022-08-261-0/+1