Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Bump version | github-actions[bot] | 2022-10-13 | 1 | -1/+1 | |
* | | | Merge pull request #3510 from jix/ff_witness_fixes | Jannis Harder | 2022-10-12 | 4 | -12/+29 | |
|\ \ \ | ||||||
| * | | | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs | Jannis Harder | 2022-10-12 | 4 | -12/+29 | |
|/ / / | ||||||
* / / | github: issues: added an OS dropdown to the issue template | Aki Van Ness | 2022-10-12 | 1 | -1/+13 | |
|/ / | ||||||
* | | Merge pull request #3502 from jix/equiv_opt_fixes | Jannis Harder | 2022-10-11 | 28 | -267/+207 | |
|\ \ | ||||||
| * | | Reenable existing equiv_opt tests | Jannis Harder | 2022-10-07 | 13 | -54/+52 | |
| * | | Fix tests for check in equiv_opt | Jannis Harder | 2022-10-07 | 13 | -15/+31 | |
| * | | Add "check -assert" to equiv_opt | Claire Xenia Wolf | 2022-10-07 | 1 | -1/+13 | |
| * | | Re-enable opt_dff_sr equiv_opt checks | Claire Xenia Wolf | 2022-10-07 | 1 | -13/+12 | |
| * | | Exclude primary inputs from quiv_make rewiring | Claire Xenia Wolf | 2022-10-07 | 1 | -0/+7 | |
| * | | Revert "Merge pull request #641 from tklam/master" | Claire Xenia Wolf | 2022-10-07 | 1 | -81/+5 | |
| * | | clk2fflogic: Always correctly handle simultaneously changing signals | Jannis Harder | 2022-10-07 | 1 | -103/+87 | |
* | | | Bump version | github-actions[bot] | 2022-10-11 | 1 | -1/+1 | |
* | | | Merge pull request #3508 from YosysHQ/aki/rm_protobuf | Miodrag Milanović | 2022-10-10 | 5 | -562/+0 | |
|\ \ \ | ||||||
| * | | | backends: protobuf: removed protobuf backend | Aki Van Ness | 2022-10-10 | 5 | -562/+0 | |
|/ / / | ||||||
* | | | fix whitespace | Miodrag Milanovic | 2022-10-10 | 1 | -1/+1 | |
* | | | Merge pull request #3452 from ALGCDG/master | Miodrag Milanović | 2022-10-10 | 2 | -1/+17 | |
|\ \ \ | ||||||
| * | | | Changing error reason string to be based on lut input plane limit constant. | Archie | 2022-10-02 | 1 | -1/+1 | |
| * | | | Adding check for BLIF names command input plane size. | Archie | 2022-08-21 | 2 | -1/+17 | |
| * | | | Merge branch 'master' of https://github.com/ALGCDG/yosys | Archie | 2022-08-21 | 81 | -737/+4859 | |
| |\ \ \ | ||||||
| * | | | | Adding expected error message. | Archie | 2022-06-20 | 1 | -0/+1 | |
| * | | | | Adding testcase for issue 3374 | Archie | 2022-06-17 | 1 | -0/+3 | |
| * | | | | Add check for BLIF with no model name | Archie | 2022-06-14 | 1 | -1/+4 | |
* | | | | | Merge pull request #3507 from YosysHQ/claire/verificlibopt | Miodrag Milanović | 2022-10-10 | 1 | -0/+14 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fix handling of verific -L options, add implicit "-L work" | Claire Xenia Wolf | 2022-10-10 | 1 | -0/+14 | |
|/ / / / / | ||||||
* | | | | | Bump version | github-actions[bot] | 2022-10-08 | 1 | -1/+1 | |
* | | | | | Merge pull request #3503 from jix/abort_on_log_error | Jannis Harder | 2022-10-07 | 2 | -0/+7 | |
|\ \ \ \ \ | |_|_|/ / |/| | | | | ||||||
| * | | | | Add YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging. | Jannis Harder | 2022-10-07 | 2 | -0/+7 | |
|/ / / / | ||||||
* | | | | Bump version | github-actions[bot] | 2022-10-06 | 1 | -1/+1 | |
* | | | | Next dev cycle | Miodrag Milanovic | 2022-10-05 | 2 | -2/+5 | |
* | | | | Release version 0.22 | Miodrag Milanovic | 2022-10-05 | 2 | -3/+3 | |
* | | | | Update CHANGELOG | Miodrag Milanovic | 2022-10-05 | 1 | -0/+8 | |
* | | | | Merge pull request #3500 from nakengelhardt/mutate_warn_not_enough | Miodrag Milanović | 2022-10-05 | 1 | -0/+2 | |
|\ \ \ \ | ||||||
| * | | | | mutate: warn if less mutations possible than number requested | N. Engelhardt | 2022-10-05 | 1 | -0/+2 | |
|/ / / / | ||||||
* | | | | Merge pull request #3499 from YosysHQ/micko/verific_edif | Miodrag Milanović | 2022-10-05 | 2 | -1/+52 | |
|\ \ \ \ | ||||||
| * | | | | Add support for EDIF file reading using Verific | Miodrag Milanovic | 2022-10-04 | 2 | -1/+52 | |
* | | | | | Bump version | github-actions[bot] | 2022-10-05 | 1 | -1/+1 | |
|/ / / / | ||||||
* | | | | Merge pull request #3494 from YosysHQ/micko/verific_attributes | Miodrag Milanović | 2022-10-04 | 1 | -19/+91 | |
|\ \ \ \ | ||||||
| * | | | | support file content redirection for verific frontened | Miodrag Milanovic | 2022-09-28 | 1 | -14/+60 | |
| * | | | | Add comment for future self | Miodrag Milanovic | 2022-09-28 | 1 | -0/+7 | |
| * | | | | Handle attributes imported from verific | Miodrag Milanovic | 2022-09-28 | 1 | -5/+24 | |
|/ / / / | ||||||
* | | | | Bump version | github-actions[bot] | 2022-09-27 | 1 | -1/+1 | |
* | | | | Merge pull request #3489 from hzeller/20220924-fix-hardcoded-bin-bash | Miodrag Milanović | 2022-09-26 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Fix hard-coded path to /bin/bash -> /usr/bin/env bash | Henner Zeller | 2022-09-24 | 1 | -1/+1 | |
|/ / / / | ||||||
* | | | | Merge pull request #3486 from daglem/fix-flowmap-crash | Miodrag Milanović | 2022-09-23 | 1 | -1/+2 | |
|\ \ \ \ | ||||||
| * | | | | Fix crash in flowmap | Dag Lem | 2022-09-20 | 1 | -1/+2 | |
| | |_|/ | |/| | | ||||||
* | | | | Bump version | github-actions[bot] | 2022-09-23 | 1 | -1/+1 | |
* | | | | remove extra space in formating | Kamyar Mohajerani | 2022-09-22 | 1 | -2/+2 | |
* | | | | stat: add tech tech-specific utilizations to json | Kamyar Mohajerani | 2022-09-22 | 1 | -65/+91 | |
* | | | | Bump version | github-actions[bot] | 2022-09-22 | 1 | -1/+1 |