aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* wreduce: Keep more x-bits with -keepdcJannis Harder2022-08-161-4/+4
* formalff: New -setundef optionJannis Harder2022-08-161-0/+335
* formalff: Set new replaced_by_gclk attribute on removed dff's clksJannis Harder2022-08-164-0/+44
* Add the $anyinit cell and the formalff passJannis Harder2022-08-1616-8/+271
* Bump versiongithub-actions[bot]2022-08-121-1/+1
* Merge pull request #3425 from YosysHQ/lofty/stat-jsonN. Engelhardt2022-08-111-38/+109
|\
| * stat: add option for machine-readable json outputLofty2022-08-111-38/+109
* | Merge pull request #3277 from YosysHQ/lofty/rename-scramble_nameN. Engelhardt2022-08-112-0/+87
|\ \ | |/ |/|
| * rename: add -scramble-name option to randomly rename selectionsLofty2022-08-082-0/+87
* | Bump versiongithub-actions[bot]2022-08-111-1/+1
* | Merge pull request #3443 from YosysHQ/micko/resetall_undefineallMiodrag Milanović2022-08-101-0/+5
|\ \
| * | set default_nettype to wire for resetallMiodrag Milanovic2022-08-101-0/+1
| * | resetall does not affect text defines, but undefineall doesMiodrag Milanovic2022-08-101-0/+4
|/ /
* | Merge pull request #3322 from Forty-Bot/default_assignment_firstN. Engelhardt2022-08-101-10/+38
|\ \
| * | Order ports with default assignments firstSean Anderson2022-08-091-10/+38
|/ /
* | Bump versiongithub-actions[bot]2022-08-101-1/+1
* | nexus: Fix BRAM mapping.Marcelina Kościelnicka2022-08-091-18/+56
* | Merge pull request #3441 from YosysHQ/micko/smtio-utf-8Miodrag Milanović2022-08-091-2/+2
|\ \
| * | Switched to utf-8 in smtio.pyMiodrag Milanovic2022-08-091-2/+2
|/ /
* | properly encode string in rtlilMiodrag Milanovic2022-08-091-1/+1
* | Bump versiongithub-actions[bot]2022-08-091-1/+1
* | Merge pull request #3439 from YosysHQ/micko/filepath_improveMiodrag Milanović2022-08-0810-60/+90
|\ \ | |/ |/|
| * support file locations containing spacesMiodrag Milanovic2022-08-086-18/+19
| * Encode filename unprintable charsMiodrag Milanovic2022-08-084-27/+42
| * verific - make filepath handling compatible with verilog frontendMiodrag Milanovic2022-08-081-15/+29
|/
* Bump versiongithub-actions[bot]2022-08-041-1/+1
* Next dev cycleMiodrag Milanovic2022-08-032-2/+5
* Release version 0.20Miodrag Milanovic2022-08-032-3/+3
* Update ChangelogMiodrag Milanovic2022-08-031-0/+7
* update manual to latestMiodrag Milanovic2022-08-031-2/+5
* Merge pull request #3432 from YosysHQ/aki/jny_updatesMiodrag Milanović2022-08-032-10/+226
|\
| * misc: Added JNY schema definitionAki Van Ness2022-08-021-0/+193
| * backend: jny: updated the `JnyWriter` to emite a new "invocation" entry as we...Aki Van Ness2022-08-021-10/+33
* | Update manual and changelogMiodrag Milanovic2022-08-032-0/+9
* | Bump versiongithub-actions[bot]2022-08-031-1/+1
* | Merge pull request #3433 from jix/fix_smt_shiftJannis Harder2022-08-021-4/+4
|\ \ | |/ |/|
| * smt2: Fix $shift/$shiftx with negative shift ammountsJannis Harder2022-08-021-4/+4
|/
* Bump versiongithub-actions[bot]2022-08-021-1/+1
* Merge pull request #3089 from YosysHQ/gatecat/liberty_wbMiodrag Milanović2022-08-011-0/+14
|\
| * Add read_liberty -wbgatecat2021-11-251-0/+14
* | Merge pull request #3429 from YosysHQ/micko/verific_uptoMiodrag Milanović2022-08-011-2/+5
|\ \
| * | Setting wire upto in verific importMiodrag Milanovic2022-07-291-2/+5
* | | Update documentationMiodrag Milanovic2022-08-011-0/+4
|/ /
* | Bump versiongithub-actions[bot]2022-07-291-1/+1
* | Update READMEMiodrag Milanović2022-07-281-1/+1
* | Bump versiongithub-actions[bot]2022-07-281-1/+1
* | Assorted microoptimization speedups in core data structures.Marcelina Kościelnicka2022-07-276-193/+117
* | macos 10.15 deprecated by gh actionsMiodrag Milanovic2022-07-271-54/+0
* | Make all compile under OpenBSD (#3423)Miodrag Milanović2022-07-273-3/+50
* | Support using ABC source tarball distributionMiodrag Milanovic2022-07-271-3/+8
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 21:45:02 +0000