aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | techmap: don't drop attributes on replaced cells.whitequark2020-06-291-2/+3
|/ / / / / /
* | | | | | Merge pull request #2200 from YosysHQ/mmicko/fix_exposeMiodrag Milanović2020-06-291-7/+23
|\ \ \ \ \ \
| * | | | | | Give error that options are exclusiveMiodrag Milanovic2020-06-291-2/+6
| * | | | | | cleanupMiodrag Milanovic2020-06-291-12/+13
| * | | | | | expose pass fixMiodrag Milanovic2020-06-291-5/+16
| |/ / / / /
* | | | | | Merge pull request #2197 from Xiretza/test_cell-shiftswhitequark2020-06-291-0/+4
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | test_cell: don't generate directional shifts with \B_SIGNED=1Xiretza2020-06-281-0/+4
|/ / / / /
* | | / / Fix crash in verific frontendMiodrag Milanovic2020-06-261-1/+2
| |_|/ / |/| | |
* | | | Merge pull request #2193 from whitequark/cxxrtl-help-textwhitequark2020-06-261-2/+2
|\ \ \ \
| * | | | cxxrtl: update help text.whitequark2020-06-261-2/+2
|/ / / /
* | | | Merge pull request #2188 from antmicro/missing-operatorswhitequark2020-06-263-2/+132
|\ \ \ \
| * | | | Add sub-assign and and-assign testsKamil Rakoczy2020-06-251-0/+34
| * | | | Move combined assign tests to single fileKamil Rakoczy2020-06-254-45/+49
| * | | | Support missing sub-assign and and-assign operatorsKamil Rakoczy2020-06-252-2/+21
| * | | | Add xor-assignment testKamil Rakoczy2020-06-241-0/+15
| * | | | Support missing xor-assign operatorLukasz Dalek2020-06-242-1/+10
| * | | | Add or-assignment and plus-assignment testsKamil Rakoczy2020-06-242-0/+30
| * | | | Add plus-assignment operatorKamil Rakoczy2020-06-242-1/+10
| * | | | Add or-assignment operatorKamil Rakoczy2020-06-242-1/+11
| | |/ / | |/| |
* | | | Merge pull request #2189 from antmicro/optional-labelswhitequark2020-06-261-2/+2
|\ \ \ \
| * | | | Support optional labels at the end of package definitionLukasz Dalek2020-06-241-1/+1
| * | | | Support optional labels at the end of module definitionLukasz Dalek2020-06-241-1/+1
| |/ / /
* | | | Merge pull request #2168 from whitequark/assert-unused-exprsclairexen2020-06-2513-43/+46
|\ \ \ \
| * | | | Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).whitequark2020-06-192-10/+18
| * | | | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().whitequark2020-06-199-26/+26
| * | | | Use (and ignore) the expression provided to log_debug in NDEBUG builds.whitequark2020-06-191-2/+1
| * | | | Use (and ignore) the expression provided to log_assert in NDEBUG builds.whitequark2020-06-193-5/+1
* | | | | Merge pull request #2135 from boqwxp/qbfsat-timeinfoclairexen2020-06-252-11/+14
|\ \ \ \ \
| * | | | | log: Remove unused `_POSIX_TIMERS` branch in `PerformanceTimer::query()`.Alberto Gonzalez2020-06-211-4/+0
| * | | | | log, qbfsat: Include child process time in `PerformanceTimer::query()` and re...Alberto Gonzalez2020-06-212-7/+14
* | | | | | Merge pull request #2093 from boqwxp/qbfsat-bugfixesclairexen2020-06-251-86/+136
|\| | | | |
| * | | | | qbfsat: Simplify solution recovery parsing and tweak the solution regexes.Alberto Gonzalez2020-06-211-22/+12
| * | | | | qbfsat: Avoid instantiating `AttrObject`s directly.Alberto Gonzalez2020-06-211-9/+6
| * | | | | qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal...Alberto Gonzalez2020-06-212-27/+37
| * | | | | qbfsat: Fixes three bugs.Alberto Gonzalez2020-06-211-5/+17
| * | | | | qbfsat: Use bit precise mapping for hole value wires and a more robust hole s...Alberto Gonzalez2020-06-212-80/+121
* | | | | | Merge pull request #2192 from YosysHQ/verific_netbus_attrclairexen2020-06-251-1/+5
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | |
| * | | | | optimization, all items should have same attributesMiodrag Milanovic2020-06-251-0/+1
| * | | | | verific - import attributes for net buses as wellMiodrag Milanovic2020-06-241-1/+4
|/ / / / /
* | | | | Merge pull request #2185 from YosysHQ/mwk/cxxrtl-ff-typeswhitequark2020-06-241-5/+22
|\ \ \ \ \
| * | | | | cxxrtl: Add support for the new FF types.Marcelina Kościelnicka2020-06-241-5/+22
|/ / / / /
* | | | | simplemap: Fix $dffsre mapping.Marcelina Kościelnicka2020-06-231-1/+1
* | | | | Merge pull request #1818 from YosysHQ/mwk/new-ff-typesclairexen2020-06-2335-346/+3419
|\ \ \ \ \
| * | | | | Update dff2dffe, dff2dffs, zinit to new FF types.Marcelina Kościelnicka2020-06-2321-247/+277
| * | | | | Add add* functions for the new FF typesMarcelina Kościelnicka2020-06-232-0/+213
| * | | | | Add new FF types to simplemap.Marcelina Kościelnicka2020-06-232-9/+134
| * | | | | Add support for new FF types in some opt passes.Marcelina Kościelnicka2020-06-233-14/+53
| * | | | | Add new builtin FF typesMarcelina Kościelnicka2020-06-238-76/+2742
|/ / / / /
* | | | | Merge pull request #2182 from whitequark/update-abcwhitequark2020-06-221-1/+1
|\ \ \ \ \
| * | | | | Update ABC.whitequark2020-06-221-1/+1
|/ / / / /