iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
\| * \| \| \|	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
\|\
\| *	splitnets: Clean up pseudo-private member usage	Alberto Gonzalez	2020-06-13	1	-7/+6
\| *	splitnets: Slightly improve efficiency by avoiding some unnecessary lookups	Alberto Gonzalez	2020-06-13	1	-9/+13
* \|	Merge pull request #2167 from whitequark/cxxrtl-fix-ndebug	whitequark	2020-06-18	1	-1/+2
\|\ \
\| * \|	cxxrtl: don't compute vital values in log_assert().	whitequark	2020-06-17	1	-1/+2
* \| \|	Merge pull request #2142 from whitequark/splitnets-hdlname	whitequark	2020-06-18	1	-0/+4
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	splitnets: propagate (hdlname) and disambiguate via start_offset.	whitequark	2020-06-10	1	-0/+4
* \| \|	Merge pull request #2164 from madebr/msvc	Miodrag Milanović	2020-06-18	4	-11/+11
\|\ \ \
\| * \| \|	msvc does not support designated initializers in structs	Anonymous Maarten	2020-06-17	1	-5/+5
\| * \| \|	MSVC does not understand __builtin_unreachable	Anonymous Maarten	2020-06-17	1	-1/+1
\| * \| \|	MSVC cannot omit operand in conditional	Anonymous Maarten	2020-06-17	1	-1/+1
\| * \| \|	MSVC defines TRANSPARENT too	Anonymous Maarten	2020-06-17	1	-4/+4
\|/ / /