| Commit message (Collapse) | 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 | |
| |\ \ \ \ | |/ / / |/| | | | verific: enable import all cells | |||||
| | * | | | 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 | |||||
| | * | | | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs | Jannis Harder | 2022-10-12 | 4 | -12/+29 | |
| |/ / / | | | | | | | | | | | | | | | | | | | The witness metadata was missing fine grained FFs completely and for coarse grained FFs where the output connection has multiple chunks it lacked the offset of the chunk within the SMT expression. This fixes both, the later by adding an "smtoffset" field to the metadata. | |||||
| * / / | 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 | |
| |\ \ | | | | | | | equiv_opt and clk2fflogic fixes | |||||
| | * | | 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 | |
| | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | |||||
| | * | | Re-enable opt_dff_sr equiv_opt checks | Claire Xenia Wolf | 2022-10-07 | 1 | -13/+12 | |
| | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | |||||
| | * | | Exclude primary inputs from quiv_make rewiring | Claire Xenia Wolf | 2022-10-07 | 1 | -0/+7 | |
| | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | |||||
| | * | | Revert "Merge pull request #641 from tklam/master" | Claire Xenia Wolf | 2022-10-07 | 1 | -81/+5 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 08be796cb8b1890923e459cda92211fda763f0c1, reversing changes made to 38dbb44fa0815b1fe80e68e17798aaa341d998cd. This fixes #2728. PR #641 did not actually "fix" #639. The actual issue in #639 is not equiv_make, but assumptions in equiv_simple that are not true for the test case provided in #639. | |||||
| | * | | clk2fflogic: Always correctly handle simultaneously changing signals | Jannis Harder | 2022-10-07 | 1 | -103/+87 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is a complete rewrite of the FF replacing code. The previous implementation tried to implement the negative hold time by wrapping async control signals individually with pulse stretching. This did not correctly model the interaction between different simultaneously changing inputs (e.g. a falling ALOAD together with a changing AD would load the changed AD instead of the value AD had when ALOAD was high; a falling CLR could mask a raising SET for one cycle; etc.). The new approach first has the logic for all updates using only sampled values followed by the logic for all updates using only current values. That way, e.g., a falling ALOAD will load the sampled AD value but a still active ALOAD will load the current AD value. The new code also has deterministic behavior for the initial state: no operation is active when that operation would depend on a specific previous signal value. This also means clk2fflogic will no longer generate any additional uninitialized FFs. I also documented the negative hold time behavior in the help message, copying the relevant part from async2sync's help messages. | |||||
| * | | | 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 | |||||
| | * | | | 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 | |
| |\ \ \ | | | | | | | | | Add BLIF names command input plane size check | |||||
| | * | | | 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" | |||||
| | * | | | | | Fix handling of verific -L options, add implicit "-L work" | Claire Xenia Wolf | 2022-10-10 | 1 | -0/+14 | |
| |/ / / / / | | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | |||||
| * | | | | | 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. | |||||
| | * | | | | 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 | |||||
| | * | | | | 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 | |||||
| | * | | | | 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 | |
| |\ \ \ \ | | | | | | | | | | | Handle attributes imported from verific | |||||
| | * | | | | 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 | |||||
| | * | | | | Fix hard-coded path to /bin/bash -> /usr/bin/env bash | Henner Zeller | 2022-09-24 | 1 | -1/+1 | |
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | On Posix systems, the path /bin/bash is not guaranteed to exist and it is more portable to use /usr/bin/env instead. Fixing this for yosys-config with is the most important for a functioning installation. Signed-off-by: Henner Zeller <h.zeller@acm.org> | |||||
| * | | | | Merge pull request #3486 from daglem/fix-flowmap-crash | Miodrag Milanović | 2022-09-23 | 1 | -1/+2 | |
| |\ \ \ \ | | | | | | | | | | | Fix crash in flowmap | |||||
| | * | | | | Fix crash in flowmap | Dag Lem | 2022-09-20 | 1 | -1/+2 | |
| | | |_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In 2fcc1ee72e, the following is apparantly added in order to mark any number of undefined LUT inputs: lut_a.append(RTLIL::Const(State::Sx, minlut - input_nodes.size())); However this can only be done if the number of input nodes is less than minlut. This fixes #3317 | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |