aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Bump versiongithub-actions[bot]2022-10-211-1/+1
* Add missing log_dump handler for std::vector<>Claire Xenia Wolf2022-10-201-0/+12
* Bump versiongithub-actions[bot]2022-10-201-1/+1
* Temporal induction counterexample loop detection (#3504)Emil J2022-10-191-1/+36
* Merge pull request #3514 from jix/smtbmc-kind-witness-fixJannis Harder2022-10-191-1/+1
|\
| * smtbmc: Fix witness handling for k-induction failuresJannis Harder2022-10-181-1/+1
* | Bump versiongithub-actions[bot]2022-10-151-1/+1
* | Merge pull request #3511 from YosysHQ/improve_edifMiodrag Milanović2022-10-141-1/+31
|\ \ | |/ |/|
| * Skip verific primitives and operators import by defaultMiodrag Milanovic2022-10-141-0/+1
| * Add option to import all cells from all librariesMiodrag Milanovic2022-10-141-1/+30
|/
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 22:01:42 +0000