aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | Bump versiongithub-actions[bot]2022-10-131-1/+1
* | | Merge pull request #3510 from jix/ff_witness_fixesJannis Harder2022-10-124-12/+29
|\ \ \
| * | | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFsJannis Harder2022-10-124-12/+29
|/ / /
* / / github: issues: added an OS dropdown to the issue templateAki Van Ness2022-10-121-1/+13
|/ /
* | Merge pull request #3502 from jix/equiv_opt_fixesJannis Harder2022-10-1128-267/+207
|\ \
| * | Reenable existing equiv_opt testsJannis Harder2022-10-0713-54/+52
| * | Fix tests for check in equiv_optJannis Harder2022-10-0713-15/+31
| * | Add "check -assert" to equiv_optClaire Xenia Wolf2022-10-071-1/+13
| * | Re-enable opt_dff_sr equiv_opt checksClaire Xenia Wolf2022-10-071-13/+12
| * | Exclude primary inputs from quiv_make rewiringClaire Xenia Wolf2022-10-071-0/+7
| * | Revert "Merge pull request #641 from tklam/master"Claire Xenia Wolf2022-10-071-81/+5
| * | clk2fflogic: Always correctly handle simultaneously changing signalsJannis Harder2022-10-071-103/+87
* | | Bump versiongithub-actions[bot]2022-10-111-1/+1
* | | Merge pull request #3508 from YosysHQ/aki/rm_protobufMiodrag Milanović2022-10-105-562/+0
|\ \ \
| * | | backends: protobuf: removed protobuf backendAki Van Ness2022-10-105-562/+0
|/ / /
* | | fix whitespaceMiodrag Milanovic2022-10-101-1/+1
* | | Merge pull request #3452 from ALGCDG/masterMiodrag Milanović2022-10-102-1/+17
|\ \ \
| * | | Changing error reason string to be based on lut input plane limit constant.Archie2022-10-021-1/+1
| * | | Adding check for BLIF names command input plane size.Archie2022-08-212-1/+17
| * | | Merge branch 'master' of https://github.com/ALGCDG/yosysArchie2022-08-2181-737/+4859
| |\ \ \
| * | | | Adding expected error message.Archie2022-06-201-0/+1
| * | | | Adding testcase for issue 3374Archie2022-06-171-0/+3
| * | | | Add check for BLIF with no model nameArchie2022-06-141-1/+4
* | | | | Merge pull request #3507 from YosysHQ/claire/verificliboptMiodrag Milanović2022-10-101-0/+14
|\ \ \ \ \
| * | | | | Fix handling of verific -L options, add implicit "-L work"Claire Xenia Wolf2022-10-101-0/+14
|/ / / / /
* | | | | Bump versiongithub-actions[bot]2022-10-081-1/+1
* | | | | Merge pull request #3503 from jix/abort_on_log_errorJannis Harder2022-10-072-0/+7
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Add YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging.Jannis Harder2022-10-072-0/+7
|/ / / /
* | | | Bump versiongithub-actions[bot]2022-10-061-1/+1
* | | | Next dev cycleMiodrag Milanovic2022-10-052-2/+5
* | | | Release version 0.22Miodrag Milanovic2022-10-052-3/+3
* | | | Update CHANGELOGMiodrag Milanovic2022-10-051-0/+8
* | | | Merge pull request #3500 from nakengelhardt/mutate_warn_not_enoughMiodrag Milanović2022-10-051-0/+2
|\ \ \ \
| * | | | mutate: warn if less mutations possible than number requestedN. Engelhardt2022-10-051-0/+2
|/ / / /
* | | | Merge pull request #3499 from YosysHQ/micko/verific_edifMiodrag Milanović2022-10-052-1/+52
|\ \ \ \
| * | | | Add support for EDIF file reading using VerificMiodrag Milanovic2022-10-042-1/+52
* | | | | Bump versiongithub-actions[bot]2022-10-051-1/+1
|/ / / /
* | | | 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