iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization	clairexen	2020-07-01	1	-2/+24
\|\
\| *	qbfsat: Fix name-based hole specialization.	Alberto Gonzalez	2020-06-30	1	-2/+24
* \|	Merge pull request #2136 from zachjs/master	clairexen	2020-06-30	3	-1/+81
\|\ \
\| * \|	Allow constant function calls in for loops and generate if and case	Zachary Snow	2020-06-29	3	-1/+81
\| \|/
* \|	Merge pull request #2199 from YosysHQ/mmicko/sim_memory	clairexen	2020-06-30	1	-1/+4
\|\ \
\| * \|	sim - error when memrd and memwr detected	Miodrag Milanovic	2020-06-29	1	-1/+4
* \| \|	Merge pull request #2201 from YosysHQ/fix_test_cell_ilang	clairexen	2020-06-30	1	-2/+2
\|\ \ \
\| * \| \|	Use ID macro to fix assertion	Miodrag Milanovic	2020-06-29	1	-2/+2
\| \|/ /
* \| \|	Merge pull request #2209 from YosysHQ/verific_update	clairexen	2020-06-30	1	-1/+1
\|\ \ \
\| * \| \|	Update verific API version check	Miodrag Milanovic	2020-06-30	1	-1/+1
* \| \| \|	simcells: Fix reset polarity for $_DLATCH_???_ cells.	Marcelina Kościelnicka	2020-06-30	2	-5/+5
\|/ / /
* \| \|	Merge pull request #2205 from whitequark/fix-2204	whitequark	2020-06-30	1	-2/+3
\|\ \ \ \| \|_\|/ \|/\| \|
\| * \|	techmap: don't drop attributes on replaced cells.	whitequark	2020-06-29	1	-2/+3
\|/ /
* \|	Merge pull request #2200 from YosysHQ/mmicko/fix_expose	Miodrag Milanović	2020-06-29	1	-7/+23
\|\ \
\| * \|	Give error that options are exclusive	Miodrag Milanovic	2020-06-29	1	-2/+6
\| * \|	cleanup	Miodrag Milanovic	2020-06-29	1	-12/+13
\| * \|	expose pass fix	Miodrag Milanovic	2020-06-29	1	-5/+16
\| \|/
* \|	Merge pull request #2197 from Xiretza/test_cell-shifts	whitequark	2020-06-29	1	-0/+4
\|\ \ \| \|/ \|/\|
\| *	test_cell: don't generate directional shifts with \B_SIGNED=1	Xiretza	2020-06-28	1	-0/+4
\|/
*	Fix crash in verific frontend	Miodrag Milanovic	2020-06-26	1	-1/+2
*	Merge pull request #2193 from whitequark/cxxrtl-help-text	whitequark	2020-06-26	1	-2/+2
\|\
\| *	cxxrtl: update help text.	whitequark	2020-06-26	1	-2/+2
\|/
*	Merge pull request #2188 from antmicro/missing-operators	whitequark	2020-06-26	3	-2/+132
\|\
\| *	Add sub-assign and and-assign tests	Kamil Rakoczy	2020-06-25	1	-0/+34
\| *	Move combined assign tests to single file	Kamil Rakoczy	2020-06-25	4	-45/+49
\| *	Support missing sub-assign and and-assign operators	Kamil Rakoczy	2020-06-25	2	-2/+21
\| *	Add xor-assignment test	Kamil Rakoczy	2020-06-24	1	-0/+15
\| *	Support missing xor-assign operator	Lukasz Dalek	2020-06-24	2	-1/+10
\| *	Add or-assignment and plus-assignment tests	Kamil Rakoczy	2020-06-24	2	-0/+30
\| *	Add plus-assignment operator	Kamil Rakoczy	2020-06-24	2	-1/+10
\| *	Add or-assignment operator	Kamil Rakoczy	2020-06-24	2	-1/+11
* \|	Merge pull request #2189 from antmicro/optional-labels	whitequark	2020-06-26	1	-2/+2
\|\ \
\| * \|	Support optional labels at the end of package definition	Lukasz Dalek	2020-06-24	1	-1/+1
\| * \|	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