aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* | | Fix mingw buildMiodrag Milanovic2022-08-291-0/+3
|/ /
* | Bump versiongithub-actions[bot]2022-08-261-1/+1
* | Merge pull request #3461 from YosysHQ/aki/hashlib_assertN. Engelhardt2022-08-251-1/+1
|\ \
| * | kernel: hashlib: cleaned up message about table size in cases where `sizeof(i...Aki Van Ness2022-08-251-1/+1
* | | Merge pull request #3449 from YosysHQ/aki/show_pathrwN. Engelhardt2022-08-251-0/+1
|\ \ \ | |/ / |/| |
| * | yosys: passes: cmds: show: added filename re-writing to `show -lib`Aki Van Ness2022-08-221-0/+1
| |/
* | use inttypes format specifiersN. Engelhardt2022-08-251-3/+3
* | dump runtime information for passes to jsonN. Engelhardt2022-08-251-1/+28
* | Merge pull request #3457 from KrystalDelusion/docs_widthN. Engelhardt2022-08-2535-184/+198
|\ \ | |/ |/|
| * Fitting help messages to 80 character widthKrystalDelusion2022-08-2435-184/+198
|/
* Bump versiongithub-actions[bot]2022-08-191-1/+1
* Merge pull request #3450 from jix/write_aiger_nonffJannis Harder2022-08-182-1/+8
|\
| * write_aiger: Fix non-$_FF_ FFsJannis Harder2022-08-182-1/+8
|/
* Bump versiongithub-actions[bot]2022-08-171-1/+1
* Merge pull request #3434 from jix/witness_flowJannis Harder2022-08-1633-167/+2255
|\
| * sim: -hdlname option to preserve flattened hierarchy in sim outputJannis Harder2022-08-162-9/+43
| * smtbmc: Set step range for --yw and dont skip steps for --check-witnessJannis Harder2022-08-161-2/+14
| * Update CEX minimization patches for abcJannis Harder2022-08-161-1/+1
| * clk2fflogic: Generate less unused logic when using verificJannis Harder2022-08-161-1/+4
| * rename: Add -witness modeJannis Harder2022-08-162-0/+83
| * yosys-witness: Add stats commandJannis Harder2022-08-161-0/+18
| * smtbmc: Add --check-witness modeJannis Harder2022-08-161-1/+22
| * aiger: Add yosys-witness supportJannis Harder2022-08-163-2/+320
| * smtbmc: Add native json based witness format + smt2 backend supportJannis Harder2022-08-169-113/+983
| * btor: Support $anyinit cellsJannis Harder2022-08-161-1/+1
| * aiger: Support $anyinit cellsJannis Harder2022-08-161-0/+11
| * smt2: Support $anyinit cellsJannis Harder2022-08-161-10/+11
| * memory_map: Add -formal optionJannis Harder2022-08-162-17/+68
| * setundef: Do not add anyseq / anyconst to unused memory port clocksJannis Harder2022-08-161-0/+24
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 22:44:36 +0000