aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
| * | | MSVC defines TRANSPARENT tooAnonymous Maarten2020-06-171-4/+4
|/ / /
* | | Merge pull request #2163 from jfng/cxxrtl-blackbox-debuginfowhitequark2020-06-171-13/+17
|\ \ \
| * | | cxxrtl: restrict the debug info of a blackbox to its ports.Jean-François Nguyen2020-06-161-13/+17
| | |/ | |/|
* | | Merge pull request #2160 from whitequark/cxxrtl-fix-warningwhitequark2020-06-171-21/+23
|\ \ \
| * | | cxxrtl: avoid unused variable warning for transparent $memrd ports. NFC.whitequark2020-06-151-21/+23
* | | | Merge pull request #2156 from XarkLabs/masterN. Engelhardt2020-06-161-7/+7
|\ \ \ \ | |_|/ / |/| | |
| * | | Fix Verilator sim warnings: 1 BLKSEQ and 3 WIDTHXark2020-06-141-7/+7
* | | | Merge pull request #2159 from MerryMage/cxxrtl-mulwhitequark2020-06-151-17/+22
|\ \ \ \ | |_|/ / |/| | |
| * | | cxxrtl: Implement chunk-wise multiplicationMerryMage2020-06-151-17/+22
| |/ /
* | | Merge pull request #2158 from miek/sshr-sign-extensionwhitequark2020-06-151-2/+4
|\ \ \ | |/ / |/| |
| * | cxxrtl: fix sshr sign-extension.Mike Walters2020-06-151-2/+4
* | | Merge pull request #2155 from whitequark/fix-wasm-wasi-sdk-11whitequark2020-06-131-1/+3
|\ \ \
| * | | kernel: guard include of signal.h more precisely.whitequark2020-06-131-1/+3
|/ / /
* | | Merge pull request #2151 from whitequark/cxxrtl-fix-rzextwhitequark2020-06-131-2/+2
|\ \ \ | |/ / |/| |
| * | cxxrtl: fix rzext().whitequark2020-06-131-2/+2
* | | Merge pull request #2145 from whitequark/cxxrtl-splitnetswhitequark2020-06-135-67/+156
|\ \ \