| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | | | | Bump version | github-actions[bot] | 2022-10-15 | 1 | -1/+1 |
| * | | | | Merge pull request #3511 from YosysHQ/improve_edif | Miodrag Milanović | 2022-10-14 | 1 | -1/+31 |
| |\ \ \ \
| |/ / /
|/| | | |
|
| | * | | | Skip verific primitives and operators import by default | Miodrag Milanovic | 2022-10-14 | 1 | -0/+1 |
| | * | | | Add option to import all cells from all libraries | Miodrag Milanovic | 2022-10-14 | 1 | -1/+30 |
| |/ / / |
|
| * | | | 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 |
| | | |_|/
| |/| | |
|
