aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | 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
|/ / / / / /
* | | | | | Merge pull request #2181 from whitequark/minisat-wasm-signalwhitequark2020-06-222-0/+14
|\ \ \ \ \ \
| * | | | | | minisat: add missing include guard for WASI.whitequark2020-06-212-0/+14
| | |/ / / / | |/| | | |
* | | | | | Merge pull request #2180 from Xiretza/pyosys-overridewhitequark2020-06-211-1/+1
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | pyosys: Use C++11 override keyword for bindingsXiretza2020-06-211-1/+1
|/ / / / /
* | | | | Merge pull request #2177 from boqwxp/dict-iterator-jumpwhitequark2020-06-212-0/+25
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | dict: Remove guard for past-the-end iterators that might mask problems in sta...Alberto Gonzalez2020-06-191-2/+2
| * | | | hashlib, rtlil: Add `operator+=()` to `dict<>::iterator` and `dict<>::const_i...Alberto Gonzalez2020-06-192-0/+25
| |/ / /
* | | | Merge pull request #2178 from boqwxp/design-selectwhitequark2020-06-191-0/+7
|\ \ \ \ | |/ / / |/| | |
| * | | 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()Xiretza2020-06-191-1/+1
|/ / /
* | | Merge pull request #2173 from whitequark/use-cxx11-final-overridewhitequark2020-06-19222-556/+545
|\ \ \
| * | | 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.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<>.whitequark2020-06-191-6/+47
| |/ / /
* | | | Merge pull request #2170 from boqwxp/cutpoint-efficiencywhitequark2020-06-191-9/+10
|\ \ \ \ | |/ / / |/| | |
| * | | cutpoint: Improve efficiency by iterating over module ports instead of module...Alberto Gonzalez2020-06-181-9/+10
|/ / /
* | | Merge pull request #2153 from boqwxp/splitnets-cleanupN. Engelhardt2020-06-181-16/+19
|\ \ \
| * | | 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
* | | | Merge pull request #2167 from whitequark/cxxrtl-fix-ndebugwhitequark2020-06-181-1/+2
|\ \ \ \
| * | | | cxxrtl: don't compute vital values in log_assert().whitequark2020-06-171-1/+2
* | | | | Merge pull request #2142 from whitequark/splitnets-hdlnamewhitequark2020-06-181-0/+4
|\ \ \ \ \ | | |/ / / | |/| | |
| * | | | splitnets: propagate (*hdlname*) and disambiguate via start_offset.whitequark2020-06-101-0/+4
* | | | | Merge pull request #2164 from madebr/msvcMiodrag Milanović2020-06-184-11/+11
|\ \ \ \ \
| * | | | | msvc does not support designated initializers in structsAnonymous Maarten2020-06-171-5/+5
| * | | | | MSVC does not understand __builtin_unreachableAnonymous Maarten2020-06-171-1/+1
| * | | | | MSVC cannot omit operand in conditionalAnonymous Maarten2020-06-171-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-10 01:59:08 +0000