iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
\| * \| \|	Support optional labels at the end of module definition	Lukasz Dalek	2020-06-24	1	-1/+1
\| \|/ /
* \| \|	Merge pull request #2168 from whitequark/assert-unused-exprs	clairexen	2020-06-25	13	-43/+46
\|\ \ \
\| * \| \|	Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).	whitequark	2020-06-19	2	-10/+18
\| * \| \|	Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().	whitequark	2020-06-19	9	-26/+26
\| * \| \|	Use (and ignore) the expression provided to log_debug in NDEBUG builds.	whitequark	2020-06-19	1	-2/+1
\| * \| \|	Use (and ignore) the expression provided to log_assert in NDEBUG builds.	whitequark	2020-06-19	3	-5/+1
* \| \| \|	Merge pull request #2135 from boqwxp/qbfsat-timeinfo	clairexen	2020-06-25	2	-11/+14
\|\ \ \ \
\| * \| \| \|	log: Remove unused `_POSIX_TIMERS` branch in `PerformanceTimer::query()`.	Alberto Gonzalez	2020-06-21	1	-4/+0
\| * \| \| \|	log, qbfsat: Include child process time in `PerformanceTimer::query()` and re...	Alberto Gonzalez	2020-06-21	2	-7/+14
* \| \| \| \|	Merge pull request #2093 from boqwxp/qbfsat-bugfixes	clairexen	2020-06-25	1	-86/+136
\|\\| \| \| \|
\| * \| \| \|	qbfsat: Simplify solution recovery parsing and tweak the solution regexes.	Alberto Gonzalez	2020-06-21	1	-22/+12
\| * \| \| \|	qbfsat: Avoid instantiating `AttrObject`s directly.	Alberto Gonzalez	2020-06-21	1	-9/+6
\| * \| \| \|	qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal...	Alberto Gonzalez	2020-06-21	2	-27/+37
\| * \| \| \|	qbfsat: Fixes three bugs.	Alberto Gonzalez	2020-06-21	1	-5/+17
\| * \| \| \|	qbfsat: Use bit precise mapping for hole value wires and a more robust hole s...	Alberto Gonzalez	2020-06-21	2	-80/+121
* \| \| \| \|	Merge pull request #2192 from YosysHQ/verific_netbus_attr	clairexen	2020-06-25	1	-1/+5
\|\ \ \ \ \ \| \|_\|_\|/ / \|/\| \| \| \|
\| * \| \| \|	optimization, all items should have same attributes	Miodrag Milanovic	2020-06-25	1	-0/+1
\| * \| \| \|	verific - import attributes for net buses as well	Miodrag Milanovic	2020-06-24	1	-1/+4
\|/ / / /
* \| \| \|	Merge pull request #2185 from YosysHQ/mwk/cxxrtl-ff-types	whitequark	2020-06-24	1	-5/+22
\|\ \ \ \
\| * \| \| \|	cxxrtl: Add support for the new FF types.	Marcelina Kościelnicka	2020-06-24	1	-5/+22
\|/ / / /
* \| \| \|	simplemap: Fix $dffsre mapping.	Marcelina Kościelnicka	2020-06-23	1	-1/+1
* \| \| \|	Merge pull request #1818 from YosysHQ/mwk/new-ff-types	clairexen	2020-06-23	35	-346/+3419
\|\ \ \ \
\| * \| \| \|	Update dff2dffe, dff2dffs, zinit to new FF types.	Marcelina Kościelnicka	2020-06-23	21	-247/+277
\| * \| \| \|	Add add* functions for the new FF types	Marcelina Kościelnicka	2020-06-23	2	-0/+213
\| * \| \| \|	Add new FF types to simplemap.	Marcelina Kościelnicka	2020-06-23	2	-9/+134
\| * \| \| \|	Add support for new FF types in some opt passes.	Marcelina Kościelnicka	2020-06-23	3	-14/+53
\| * \| \| \|	Add new builtin FF types	Marcelina Kościelnicka	2020-06-23	8	-76/+2742
\|/ / / /
* \| \| \|	Merge pull request #2182 from whitequark/update-abc	whitequark	2020-06-22	1	-1/+1
\|\ \ \ \
\| * \| \| \|	Update ABC.	whitequark	2020-06-22	1	-1/+1
\|/ / / /
* \| \| \|	Merge pull request #2181 from whitequark/minisat-wasm-signal	whitequark	2020-06-22	2	-0/+14
\|\ \ \ \
\| * \| \| \|	minisat: add missing include guard for WASI.	whitequark	2020-06-21	2	-0/+14
\| \| \|/ / \| \|/\| \|
* \| \| \|	Merge pull request #2180 from Xiretza/pyosys-override	whitequark	2020-06-21	1	-1/+1
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| * \| \|	pyosys: Use C++11 override keyword for bindings	Xiretza	2020-06-21	1	-1/+1
\|/ / /
* \| \|	Merge pull request #2177 from boqwxp/dict-iterator-jump	whitequark	2020-06-21	2	-0/+25
\|\ \ \ \| \|_\|/ \|/\| \|
\| * \|	dict: Remove guard for past-the-end iterators that might mask problems in sta...	Alberto Gonzalez	2020-06-19	1	-2/+2
\| * \|	hashlib, rtlil: Add `operator+=()` to `dict<>::iterator` and `dict<>::const_i...	Alberto Gonzalez	2020-06-19	2	-0/+25
\| \|/
* \|	Merge pull request #2178 from boqwxp/design-select	whitequark	2020-06-19	1	-0/+7
\|\ \ \| \|/ \|/\|
\| *	rtlil: Add `Design::select()` for selecting whole modules.	Alberto Gonzalez	2020-06-19	1	-0/+7
\|/
*	Merge pull request #2175 from Xiretza/missing-noreturn	whitequark	2020-06-19	1	-1/+1
\|\
\| *	Add missing [[noreturn]] to log_file_error()	Xiretza	2020-06-19	1	-1/+1
\|/
*	Merge pull request #2173 from whitequark/use-cxx11-final-override	whitequark	2020-06-19	222	-556/+545
\|\
\| *	Use C++11 [[noreturn]] attribute.	whitequark	2020-06-19	3	-8/+5
\| *	Use C++11 final/override keywords.	whitequark	2020-06-18	220	-548/+540
* \|	Merge pull request #2174 from whitequark/fix-github-linguist	whitequark	2020-06-19	1	-0/+1
\|\ \
\| * \|	Fix GitHub misidentifying *.v files as Coq.	whitequark	2020-06-19	1	-0/+1
\| \|/
* \|	Merge pull request #2171 from whitequark/cxxrtl-accessors	whitequark	2020-06-19	1	-6/+47
\|\ \
\| * \|	cxxrtl: add .get() and .set() accessors on value<> and wire<>.	whitequark	2020-06-19	1	-6/+47
\| \|/
* \|	Merge pull request #2170 from boqwxp/cutpoint-efficiency	whitequark	2020-06-19	1	-9/+10
\|\ \ \| \|/ \|/\|
\| *	cutpoint: Improve efficiency by iterating over module ports instead of module...	Alberto Gonzalez	2020-06-18	1	-9/+10
\|/
*	Merge pull request #2153 from boqwxp/splitnets-cleanup	N. Engelhardt	2020-06-18	1	-16/+19
\|\