Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | | | | Merge pull request #2205 from whitequark/fix-2204 | whitequark | 2020-06-30 | 1 | -2/+3 | |
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | ||||||
| * | | | | | | techmap: don't drop attributes on replaced cells. | whitequark | 2020-06-29 | 1 | -2/+3 | |
|/ / / / / / | ||||||
* | | | | | | Merge pull request #2200 from YosysHQ/mmicko/fix_expose | Miodrag Milanović | 2020-06-29 | 1 | -7/+23 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Give error that options are exclusive | Miodrag Milanovic | 2020-06-29 | 1 | -2/+6 | |
| * | | | | | | cleanup | Miodrag Milanovic | 2020-06-29 | 1 | -12/+13 | |
| * | | | | | | expose pass fix | Miodrag Milanovic | 2020-06-29 | 1 | -5/+16 | |
| |/ / / / / | ||||||
* | | | | | | Merge pull request #2197 from Xiretza/test_cell-shifts | whitequark | 2020-06-29 | 1 | -0/+4 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | test_cell: don't generate directional shifts with \B_SIGNED=1 | Xiretza | 2020-06-28 | 1 | -0/+4 | |
|/ / / / / | ||||||
* | | / / | Fix crash in verific frontend | Miodrag Milanovic | 2020-06-26 | 1 | -1/+2 | |
| |_|/ / |/| | | | ||||||
* | | | | Merge pull request #2193 from whitequark/cxxrtl-help-text | whitequark | 2020-06-26 | 1 | -2/+2 | |
|\ \ \ \ | ||||||
| * | | | | cxxrtl: update help text. | whitequark | 2020-06-26 | 1 | -2/+2 | |
|/ / / / | ||||||
* | | | | Merge pull request #2188 from antmicro/missing-operators | whitequark | 2020-06-26 | 3 | -2/+132 | |
|\ \ \ \ | ||||||
| * | | | | Add sub-assign and and-assign tests | Kamil Rakoczy | 2020-06-25 | 1 | -0/+34 | |
| * | | | | Move combined assign tests to single file | Kamil Rakoczy | 2020-06-25 | 4 | -45/+49 | |
| * | | | | Support missing sub-assign and and-assign operators | Kamil Rakoczy | 2020-06-25 | 2 | -2/+21 | |
| * | | | | Add xor-assignment test | Kamil Rakoczy | 2020-06-24 | 1 | -0/+15 | |
| * | | | | Support missing xor-assign operator | Lukasz Dalek | 2020-06-24 | 2 | -1/+10 | |
| * | | | | Add or-assignment and plus-assignment tests | Kamil Rakoczy | 2020-06-24 | 2 | -0/+30 | |
| * | | | | Add plus-assignment operator | Kamil Rakoczy | 2020-06-24 | 2 | -1/+10 | |
| * | | | | Add or-assignment operator | Kamil Rakoczy | 2020-06-24 | 2 | -1/+11 | |
| | |/ / | |/| | | ||||||
* | | | | Merge pull request #2189 from antmicro/optional-labels | whitequark | 2020-06-26 | 1 | -2/+2 | |
|\ \ \ \ | ||||||
| * | | | | Support optional labels at the end of package definition | Lukasz Dalek | 2020-06-24 | 1 | -1/+1 | |
| * | | | | Support optional labels at the end of module definition | Lukasz Dalek | 2020-06-24 | 1 | -1/+1 | |
| |/ / / | ||||||
* | | | | Merge pull request #2168 from whitequark/assert-unused-exprs | clairexen | 2020-06-25 | 13 | -43/+46 | |
|\ \ \ \ | ||||||
| * | | | | Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused). | whitequark | 2020-06-19 | 2 | -10/+18 | |
| * | | | | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). | whitequark | 2020-06-19 | 9 | -26/+26 | |
| * | | | | Use (and ignore) the expression provided to log_debug in NDEBUG builds. | whitequark | 2020-06-19 | 1 | -2/+1 | |
| * | | | | Use (and ignore) the expression provided to log_assert in NDEBUG builds. | whitequark | 2020-06-19 | 3 | -5/+1 | |
* | | | | | Merge pull request #2135 from boqwxp/qbfsat-timeinfo | clairexen | 2020-06-25 | 2 | -11/+14 | |
|\ \ \ \ \ | ||||||
| * | | | | | log: Remove unused `_POSIX_TIMERS` branch in `PerformanceTimer::query()`. | Alberto Gonzalez | 2020-06-21 | 1 | -4/+0 | |
| * | | | | | log, qbfsat: Include child process time in `PerformanceTimer::query()` and re... | Alberto Gonzalez | 2020-06-21 | 2 | -7/+14 | |
* | | | | | | Merge pull request #2093 from boqwxp/qbfsat-bugfixes | clairexen | 2020-06-25 | 1 | -86/+136 | |
|\| | | | | | ||||||
| * | | | | | qbfsat: Simplify solution recovery parsing and tweak the solution regexes. | Alberto Gonzalez | 2020-06-21 | 1 | -22/+12 | |
| * | | | | | qbfsat: Avoid instantiating `AttrObject`s directly. | Alberto Gonzalez | 2020-06-21 | 1 | -9/+6 | |
| * | | | | | qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal... | Alberto Gonzalez | 2020-06-21 | 2 | -27/+37 | |
| * | | | | | qbfsat: Fixes three bugs. | Alberto Gonzalez | 2020-06-21 | 1 | -5/+17 | |
| * | | | | | qbfsat: Use bit precise mapping for hole value wires and a more robust hole s... | Alberto Gonzalez | 2020-06-21 | 2 | -80/+121 | |
* | | | | | | Merge pull request #2192 from YosysHQ/verific_netbus_attr | clairexen | 2020-06-25 | 1 | -1/+5 | |
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | ||||||
| * | | | | | optimization, all items should have same attributes | Miodrag Milanovic | 2020-06-25 | 1 | -0/+1 | |
| * | | | | | verific - import attributes for net buses as well | Miodrag Milanovic | 2020-06-24 | 1 | -1/+4 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #2185 from YosysHQ/mwk/cxxrtl-ff-types | whitequark | 2020-06-24 | 1 | -5/+22 | |
|\ \ \ \ \ | ||||||
| * | | | | | cxxrtl: Add support for the new FF types. | Marcelina Kościelnicka | 2020-06-24 | 1 | -5/+22 | |
|/ / / / / | ||||||
* | | | | | simplemap: Fix $dffsre mapping. | Marcelina Kościelnicka | 2020-06-23 | 1 | -1/+1 | |
* | | | | | Merge pull request #1818 from YosysHQ/mwk/new-ff-types | clairexen | 2020-06-23 | 35 | -346/+3419 | |
|\ \ \ \ \ | ||||||
| * | | | | | Update dff2dffe, dff2dffs, zinit to new FF types. | Marcelina Kościelnicka | 2020-06-23 | 21 | -247/+277 | |
| * | | | | | Add add* functions for the new FF types | Marcelina Kościelnicka | 2020-06-23 | 2 | -0/+213 | |
| * | | | | | Add new FF types to simplemap. | Marcelina Kościelnicka | 2020-06-23 | 2 | -9/+134 | |
| * | | | | | Add support for new FF types in some opt passes. | Marcelina Kościelnicka | 2020-06-23 | 3 | -14/+53 | |
| * | | | | | Add new builtin FF types | Marcelina Kościelnicka | 2020-06-23 | 8 | -76/+2742 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #2182 from whitequark/update-abc | whitequark | 2020-06-22 | 1 | -1/+1 | |
|\ \ \ \ \ |