| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | | Merge pull request #3517 from jix/smtbmc-witness-no-assume-skipped | Jannis Harder | 2022-10-24 | 1 | -3/+0 | |
| |\ \ \ \ | ||||||
| | * | | | | smtbmc: Do not assume skipped assertions when loading a witness trace | Jannis Harder | 2022-10-20 | 1 | -3/+0 | |
| * | | | | | Merge pull request #3523 from lparkes/basename | Miodrag Milanović | 2022-10-24 | 1 | -1/+1 | |
| |\ \ \ \ \ | ||||||
| | * | | | | | Replace GNU specific invocation of basename(1) with the equivalent | Lloyd Parkes | 2022-10-23 | 1 | -1/+1 | |
| * | | | | | | Merge pull request #3512 from lparkes/fstapi | Miodrag Milanović | 2022-10-24 | 1 | -0/+2 | |
| |\ \ \ \ \ \ | ||||||
| | * | | | | | | And another place we need to lseek() after dup(). | Lloyd Parkes | 2022-10-16 | 1 | -0/+1 | |
| | * | | | | | | Forcibly set the current seek location of gz files that we are accessing | Lloyd Parkes | 2022-10-16 | 1 | -0/+1 | |
| * | | | | | | | 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 | |
| * | | | Merge pull request #3514 from jix/smtbmc-kind-witness-fix | Jannis Harder | 2022-10-19 | 1 | -1/+1 | |
| |\ \ \ | ||||||
| | * | | | smtbmc: Fix witness handling for k-induction failures | Jannis Harder | 2022-10-18 | 1 | -1/+1 | |
| * | | | | 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 | |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |