| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | | | | | | | | | | | write_xaiger: cope with abc9_arrival as string of ints | Eddie Hung | 2020-01-09 | 1 | -8/+21 | |
| | * | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-09 | 1 | -8/+4 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-08 | 21 | -3009/+1975 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into xaig_arrival_r... | Eddie Hung | 2020-01-06 | 91 | -2459/+3416 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | write_xaiger: simplify c{i,o}_bits | Eddie Hung | 2019-12-27 | 1 | -12/+6 | |
| | * | | | | | | | | | | | | | | | | Consistency | Eddie Hung | 2019-12-27 | 1 | -1/+1 | |
| | * | | | | | | | | | | | | | | | | Cope with abc9_arrival as string | Eddie Hung | 2019-12-27 | 1 | -6/+15 | |
| | * | | | | | | | | | | | | | | | | Update some abc9_arrival times, add abc9_required times | Eddie Hung | 2019-12-27 | 3 | -24/+220 | |
| * | | | | | | | | | | | | | | | | | Add opt_lut_ins pass. (#1673) | Marcelina Kościelnicka | 2020-02-03 | 10 | -4/+367 | |
| * | | | | | | | | | | | | | | | | | Merge pull request #1516 from YosysHQ/dave/dotstar | David Shah | 2020-02-02 | 6 | -6/+208 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | Update CHANGELOG and README | David Shah | 2020-02-02 | 2 | -0/+5 | |
| | * | | | | | | | | | | | | | | | | | sv: Improve handling of wildcard port connections | David Shah | 2020-02-02 | 3 | -7/+9 | |
| | * | | | | | | | | | | | | | | | | | sv: More tests for wildcard port connections | David Shah | 2020-02-02 | 1 | -0/+57 | |
| | * | | | | | | | | | | | | | | | | | hierarchy: Correct handling of wildcard port connections with default values | David Shah | 2020-02-02 | 2 | -7/+25 | |
| | * | | | | | | | | | | | | | | | | | sv: Add tests for wildcard port connections | David Shah | 2020-02-02 | 1 | -0/+56 | |
| | * | | | | | | | | | | | | | | | | | hierarchy: Resolve SV wildcard port connections | David Shah | 2020-02-02 | 2 | -4/+63 | |
| | * | | | | | | | | | | | | | | | | | sv: Add lexing and parsing of .* (wildcard port conns) | David Shah | 2020-02-02 | 2 | -1/+6 | |
| |/ / / / / / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | | | | | Merge pull request #1647 from YosysHQ/dave/sprintf | David Shah | 2020-02-02 | 3 | -93/+122 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | ast: Add support for $sformatf system function | David Shah | 2020-01-19 | 3 | -93/+122 | |
| * | | | | | | | | | | | | | | | | | | Merge pull request #1657 from YosysHQ/dave/xilinx-dsp-multonly | David Shah | 2020-02-02 | 1 | -0/+7 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | xilinx_dsp: Add multonly scratchpad var to bypass | David Shah | 2020-02-01 | 1 | -0/+7 | |
| | |/ / / / / / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | | | | | | xilinx: use RAM32M/RAM64M for memories with two read ports | Marcin Kościelnicki | 2020-02-02 | 1 | -2/+2 | |
| * | | | | | | | | | | | | | | | | | | json: remove the 32-bit parameter special case | Marcin Kościelnicki | 2020-02-01 | 1 | -10/+28 | |
| * | | | | | | | | | | | | | | | | | | Merge pull request #1668 from gsomlo/gls-abc9-external | Eddie Hung | 2020-01-31 | 1 | -0/+1 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | abc9: restore ability to use ABCEXTERNAL | Gabriel Somlo | 2020-01-30 | 1 | -0/+1 | |
| |/ / / / / / / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | | | | | | Merge pull request #1667 from YosysHQ/clifford/verificnand | Claire Wolf | 2020-01-30 | 1 | -0/+8 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | Add Verific support for OPER_REDUCE_NAND | Claire Wolf | 2020-01-30 | 1 | -0/+8 | |
| * | | | | | | | | | | | | | | | | | | | Merge pull request #1503 from YosysHQ/eddie/verific_help | Claire Wolf | 2020-01-30 | 1 | -8/+8 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into eddie/verific_help | Eddie Hung | 2020-01-27 | 208 | -4938/+10113 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | verific: no help() when no YOSYS_ENABLE_VERIFIC | Eddie Hung | 2020-01-27 | 1 | -4/+1 | |
| | * | | | | | | | | | | | | | | | | | | | | Oops | Eddie Hung | 2019-11-19 | 1 | -1/+1 | |
| | * | | | | | | | | | | | | | | | | | | | | Print help message for verific pass | Eddie Hung | 2019-11-19 | 1 | -9/+12 | |
| * | | | | | | | | | | | | | | | | | | | | | Merge pull request #1654 from YosysHQ/eddie/sby_fix69 | Claire Wolf | 2020-01-30 | 1 | -0/+6 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | | | | | | | | | | | verific: also unflatten for 'hierarchy' flow as per @cliffordwolf | Eddie Hung | 2020-01-27 | 1 | -0/+3 | |
| | * | | | | | | | | | | | | | | | | | | | | verific: unflatten struct ports | Eddie Hung | 2020-01-24 | 1 | -0/+3 | |
| | | |/ / / / / / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | Merge branch 'vector_fix' of https://github.com/Kmanfi/yosys | Claire Wolf | 2020-01-29 | 1 | -1/+3 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | Fix input vector for reduce cells. Infinite loop fixed. | Kaj Tuomi | 2017-10-17 | 1 | -0/+2 | |
| | * | | | | | | | | | | | | | | | | | | | | Merge branch 'master' of https://github.com/cliffordwolf/yosys into vector_fix | Kaj Tuomi | 2017-10-17 | 3 | -1/+54 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | Add Verific fairness/liveness support | Clifford Wolf | 2017-10-12 | 1 | -11/+32 | |
| * | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1662 from YosysHQ/dave/opt-reduce-move-check | Claire Wolf | 2020-01-29 | 1 | -1/+2 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | opt_reduce: Call check() per run rather than per optimised cell | David Shah | 2020-01-28 | 1 | -1/+2 | |
| * | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1665 from YosysHQ/clifford/edifkeep | Claire Wolf | 2020-01-29 | 1 | -9/+34 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | | Preserve wires with keep attribute in EDIF back-end | Claire Wolf | 2020-01-29 | 1 | -9/+34 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1659 from YosysHQ/clifford/experimental | Claire Wolf | 2020-01-29 | 6 | -4/+56 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | | | Improve logging use of experimental features | Claire Wolf | 2020-01-28 | 3 | -4/+8 | |
| | * | | | | | | | | | | | | | | | | | | | | | | | | Add log_experimental() and experimental() API and "yosys -x" | Claire Wolf | 2020-01-27 | 6 | -4/+52 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1510 from pumbor/master | N. Engelhardt | 2020-01-29 | 1 | -0/+13 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | | | | handle anonymous unions to fix #1080 | Patrick Eibl | 2019-11-21 | 1 | -0/+13 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1559 from YosysHQ/efinix_test_fix | Miodrag Milanović | 2020-01-29 | 1 | -1/+1 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | Updated test to use assert-max | Miodrag Milanovic | 2020-01-28 | 1 | -1/+1 | |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |