aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Add a few more gate types to the manual.Marcelina Kościelnicka2020-06-261-8/+36
|
* Merge pull request #2193 from whitequark/cxxrtl-help-textwhitequark2020-06-261-2/+2
|\ | | | | cxxrtl: update help text
| * cxxrtl: update help text.whitequark2020-06-261-2/+2
|/
* Merge pull request #2188 from antmicro/missing-operatorswhitequark2020-06-263-2/+132
|\ | | | | Add logic-assignments operators
| * Add sub-assign and and-assign testsKamil Rakoczy2020-06-251-0/+34
| | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
| * Move combined assign tests to single fileKamil Rakoczy2020-06-254-45/+49
| | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
| * Support missing sub-assign and and-assign operatorsKamil Rakoczy2020-06-252-2/+21
| | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
| * Add xor-assignment testKamil Rakoczy2020-06-241-0/+15
| | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
| * Support missing xor-assign operatorLukasz Dalek2020-06-242-1/+10
| | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
| * Add or-assignment and plus-assignment testsKamil Rakoczy2020-06-242-0/+30
| | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
| * Add plus-assignment operatorKamil Rakoczy2020-06-242-1/+10
| | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
| * Add or-assignment operatorKamil Rakoczy2020-06-242-1/+11
| | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* | Merge pull request #2189 from antmicro/optional-labelswhitequark2020-06-261-2/+2
|\ \ | | | | | | Add support for optional labels
| * | Support optional labels at the end of package definitionLukasz Dalek2020-06-241-1/+1
| | | | | | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
| * | Support optional labels at the end of module definitionLukasz Dalek2020-06-241-1/+1
| |/ | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
* | Merge pull request #2168 from whitequark/assert-unused-exprsclairexen2020-06-2513-43/+46
|\ \ | | | | | | Use (and ignore) the expression provided to log_assert in NDEBUG builds
| * | Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).whitequark2020-06-192-10/+18
| | | | | | | | | | | | | | | [[maybe_unused]] is available since C++17, so this commit adds a polyfill YS_MAYBE_UNUSED. Once we require C++17 we can drop it.
| * | 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
| | | | | | | | | | | | | | | This avoids warnings in NDEBUG builds emitted when a variable is only used in log_assert, but is always defined.
* | | Merge pull request #2135 from boqwxp/qbfsat-timeinfoclairexen2020-06-252-11/+14
|\ \ \ | | | | | | | | log and qbfsat: Also include child process usage in `PerformanceTimer::query()` and report the time for each call to the QBF-SAT solver
| * | | 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 ↵Alberto Gonzalez2020-06-212-7/+14
| | | | | | | | | | | | | | | | report the time for each call to the QBF-SAT solver.
* | | | Merge pull request #2093 from boqwxp/qbfsat-bugfixesclairexen2020-06-251-86/+136
|\| | | | | | | | | | | qbfsat: Multiple bugfixes
| * | | 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
| | | | | | | | | | | | | | | | Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
| * | | qbfsat: Simplify solution format and replace `SigBit::str()` with ↵Alberto Gonzalez2020-06-212-27/+37
| | | | | | | | | | | | | | | | | | | | | | | | `log_signal()`. Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
| * | | qbfsat: Fixes three bugs.Alberto Gonzalez2020-06-211-5/+17
| | | | | | | | | | | | | | | | | | | | | | | | 1. Infinite loop in the optimization procedure when the first solution found while maximizing is at zero. 2. A signed-ness issue when maximizing. 3. Erroneously entering bisection mode with no wire to optimize.
| * | | qbfsat: Use bit precise mapping for hole value wires and a more robust hole ↵Alberto Gonzalez2020-06-212-80/+121
| | | | | | | | | | | | | | | | spec for writing to and specializing from a solution file.
* | | | Merge pull request #2192 from YosysHQ/verific_netbus_attrclairexen2020-06-251-1/+5
|\ \ \ \ | |_|_|/ |/| | | verific - import attributes for net buses
| * | | 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.
| * | | 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
|\ \ \ | | | | | | | | Add new FF types to library.
| * | | 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
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The new types include: - FFs with async reset and enable (`$adffe`, `$_DFFE_[NP][NP][01][NP]_`) - FFs with sync reset (`$sdff`, `$_SDFF_[NP][NP][01]_`) - FFs with sync reset and enable, reset priority (`$sdffs`, `$_SDFFE_[NP][NP][01][NP]_`) - FFs with sync reset and enable, enable priority (`$sdffce`, `$_SDFFCE_[NP][NP][01][NP]_`) - FFs with async reset, set, and enable (`$dffsre`, `$_DFFSRE_[NP][NP][NP][NP]_`) - latches with reset or set (`$adlatch`, `$_DLATCH_[NP][NP][01]_`) The new FF types are not actually used anywhere yet (this is left for future commits).
* | | Merge pull request #2182 from whitequark/update-abcwhitequark2020-06-221-1/+1
|\ \ \ | | | | | | | | Update ABC
| * | | Update ABC.whitequark2020-06-221-1/+1
|/ / /
* | | Merge pull request #2181 from whitequark/minisat-wasm-signalwhitequark2020-06-222-0/+14
|\ \ \ | | | | | | | | minisat: add missing include guard for WASI
| * | | minisat: add missing include guard for WASI.whitequark2020-06-212-0/+14
| | |/ | |/| | | | | | | | | | Including signal.h used to be allowed in WASI by mistake, but it's an error since SDK 11.
* | | Merge pull request #2180 from Xiretza/pyosys-overridewhitequark2020-06-211-1/+1
|\ \ \ | |_|/ |/| | pyosys: Use C++11 override keyword for bindings
| * | pyosys: Use C++11 override keyword for bindingsXiretza2020-06-211-1/+1
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | 7191dd16 dropped the YS_OVERRIDE macro, but it was still being generated by the python bindings generator, resulting in errors like these when compiled with ENABLE_PYOSYS=1: kernel/python_wrappers.cc:350:21: error: expected ‘;’ at end of member declaration 350 | virtual void help() YS_OVERRIDE; | ^ | ; kernel/python_wrappers.cc:350:23: error: ‘YS_OVERRIDE’ does not name a type 350 | virtual void help() YS_OVERRIDE; | ^~~~~~~~~~~
* | Merge pull request #2177 from boqwxp/dict-iterator-jumpwhitequark2020-06-212-0/+25
|\ \ | | | | | | hashlib, rtlil: Add `operator+()` and `operator+=()` to `dict` iterators
| * | dict: Remove guard for past-the-end iterators that might mask problems in ↵Alberto Gonzalez2020-06-191-2/+2
| | | | | | | | | | | | | | | | | | static analysis. Co-Authored-By: whitequark <whitequark@whitequark.org>
| * | hashlib, rtlil: Add `operator+=()` to `dict<>::iterator` and ↵Alberto Gonzalez2020-06-192-0/+25
| |/ | | | | | | `dict<>::const_iterator` and add `operator+()` and `operator+=()` to `ObjIterator`.
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 22:45:16 +0000