| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update CodeQL action | Miodrag Milanovic | 2022-10-24 | 1 | -1/+1 |
| * | Bump version | github-actions[bot] | 2022-10-22 | 1 | -1/+1 |
| * | Merge pull request #3521 from YosysHQ/ci_upgrade | Miodrag Milanović | 2022-10-21 | 5 | -14/+14 |
| |\ | |||||
| | * | Update versions of CI actions used | Miodrag Milanovic | 2022-10-21 | 5 | -14/+14 |
| |/ | |||||
| * | Bump version | github-actions[bot] | 2022-10-21 | 1 | -1/+1 |
| * | Add missing log_dump handler for std::vector<> | Claire Xenia Wolf | 2022-10-20 | 1 | -0/+12 |
| * | Bump version | github-actions[bot] | 2022-10-20 | 1 | -1/+1 |
| * | Temporal induction counterexample loop detection (#3504) | Emil J | 2022-10-19 | 1 | -1/+36 |
| * | 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 |
 |
index : iCE40/yosys | |
| clone of https://github.com/YosysHQ/yosys |
| aboutsummaryrefslogtreecommitdiffstats |