iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	glift: Add `-create-imprecise` command, rename other commands, and re-work th...	Alberto Gonzalez	2020-07-01	10	-40/+67
*	glift: Add examples, including a number of benchmarks used in some academic w...	Alberto Gonzalez	2020-07-01	18	-1/+7279
*	glift: Add replacement scoring and area minimization option.	Alberto Gonzalez	2020-07-01	1	-3/+56
*	glift: Remove outputs by default; add `-keep-outputs` option; properly reset ...	Alberto Gonzalez	2020-07-01	1	-12/+43
*	glift: Initial implementation of the `-sketchify` option.	Alberto Gonzalez	2020-07-01	1	-50/+71
*	glift: Initial implementation of GLIFT model construction.	Alberto Gonzalez	2020-07-01	1	-2/+173
*	glift: Add skeleton for `glift` command.	Alberto Gonzalez	2020-07-01	2	-0/+51
*	Merge pull request #2203 from antmicro/fix-grammar	clairexen	2020-07-01	2	-4/+38
\|\
\| *	Add signed/unsigned tests	Kamil Rakoczy	2020-06-26	1	-0/+28
\| *	Parse macro call attached semicolon as empty expression	Lukasz Dalek	2020-06-26	1	-1/+1
\| *	Fix integer signing grammar	Lukasz Dalek	2020-06-26	1	-3/+9
* \|	Merge pull request #2179 from splhack/static-cast	clairexen	2020-07-01	11	-0/+135
\|\ \
\| * \|	static cast: simplify	Kazuki Sakamoto	2020-06-19	1	-0/+7
\| * \|	static cast: add tests	Kazuki Sakamoto	2020-06-19	5	-0/+80
\| * \|	static cast: support changing size and signedness	Kazuki Sakamoto	2020-06-19	6	-0/+48
* \| \|	Merge pull request #2138 from boqwxp/qbfsat-oflag	clairexen	2020-07-01	1	-16/+47
\|\ \ \
\| * \| \|	qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC.	Alberto Gonzalez	2020-06-30	1	-16/+47
* \| \| \|	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