aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | 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`.
* | | | Merge pull request #2178 from boqwxp/design-selectwhitequark2020-06-191-0/+7
|\ \ \ \ | |/ / / |/| | | rtlil: Add `Design::select()` for selecting whole modules
| * | | rtlil: Add `Design::select()` for selecting whole modules.Alberto Gonzalez2020-06-191-0/+7
|/ / /
* | | Merge pull request #2175 from Xiretza/missing-noreturnwhitequark2020-06-191-1/+1
|\ \ \ | | | | | | | | Add missing [[noreturn]] to log_file_error()
| * | | Add missing [[noreturn]] to log_file_error()Xiretza2020-06-191-1/+1
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Previously this was tagged only with YS_ATTRIBUTE(noreturn), but not YS_NORETURN, so it got lost in #2173, resulting in warnings in frontends/ast/simplify.cc: frontends/ast/simplify.cc:267:1: warning: function declared 'noreturn' should not return [-Winvalid-noreturn] } ^ frontends/ast/simplify.cc:379:1: warning: function declared 'noreturn' should not return [-Winvalid-noreturn] } ^
* | | Merge pull request #2173 from whitequark/use-cxx11-final-overridewhitequark2020-06-19222-556/+545
|\ \ \ | | | | | | | | Use C++11 final/override/[[noreturn]]
| * | | Use C++11 [[noreturn]] attribute.whitequark2020-06-193-8/+5
| | | |
| * | | Use C++11 final/override keywords.whitequark2020-06-18220-548/+540
| | | |
* | | | Merge pull request #2174 from whitequark/fix-github-linguistwhitequark2020-06-191-0/+1
|\ \ \ \ | | | | | | | | | | Fix GitHub misidentifying *.v files as Coq
| * | | | Fix GitHub misidentifying *.v files as Coq.whitequark2020-06-191-0/+1
| |/ / /
* | | | Merge pull request #2171 from whitequark/cxxrtl-accessorswhitequark2020-06-191-6/+47
|\ \ \ \ | | | | | | | | | | cxxrtl: add .get() and .set() accessors on value<> and wire<>
| * | | | cxxrtl: add .get() and .set() accessors on value<> and wire<>.whitequark2020-06-191-6/+47
| |/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | For several reasons: * They're more convenient than accessing .data. * They accommodate variably-sized types like size_t transparently. * They statically ensure that no out of range conversions happen. For now these are only provided for unsigned integers, but eventually they should be provided for signed integers too. (Annoyingly this affects conversions to/from `char` at the moment.) Fixes #2127.
* | | | Merge pull request #2170 from boqwxp/cutpoint-efficiencywhitequark2020-06-191-9/+10
|\ \ \ \ | |/ / / |/| | | cutpoint: Improve efficiency by iterating over module ports instead of module wires
| * | | cutpoint: Improve efficiency by iterating over module ports instead of ↵Alberto Gonzalez2020-06-181-9/+10
|/ / / | | | | | | | | | module wires.
* | | Merge pull request #2153 from boqwxp/splitnets-cleanupN. Engelhardt2020-06-181-16/+19
|\ \ \ | | | | | | | | splitnets: Cleanup and efficiency improvements
| * | | splitnets: Clean up pseudo-private member usageAlberto Gonzalez2020-06-131-7/+6
| | | |
| * | | splitnets: Slightly improve efficiency by avoiding some unnecessary lookupsAlberto Gonzalez2020-06-131-9/+13
| | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 17:46:36 +0000