iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Add newlines to help text for dfflegalize	Rupert Swarbrick	2020-07-03	1	-11/+11
*	Merge pull request #2132 from YosysHQ/eddie/verific_initial	clairexen	2020-07-02	1	-17/+36
\|\
\| *	verific: rewrite initial assume/asserts prior to elaboration	Eddie Hung	2020-05-15	1	-17/+36
* \|	Merge pull request #2208 from boqwxp/qbfsat-cleanup	clairexen	2020-07-02	3	-255/+274
\|\ \
\| * \|	qbfsat: Remove useless comment and #ifndef guards.	Alberto Gonzalez	2020-07-01	1	-5/+0
\| * \|	qbfsat: Specify default values for some options in the help message.	Alberto Gonzalez	2020-07-01	1	-0/+2
\| * \|	qbfsat: Clean up external executable command lines and update temporary direc...	Alberto Gonzalez	2020-07-01	1	-3/+7
\| * \|	qbfsat: Clean up and refactor data structures into `qbfsat.h`.	Alberto Gonzalez	2020-07-01	3	-248/+266
* \| \|	Merge pull request #2186 from YosysHQ/mwk/dfflegalize	clairexen	2020-07-02	20	-0/+4316
\|\ \ \
\| * \| \|	dfflegalize: Add tests.	Marcelina Kościelnicka	2020-07-01	17	-0/+2957
\| * \| \|	Add dfflegalize pass.	Marcelina Kościelnicka	2020-07-01	3	-0/+1359
* \| \| \|	Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff	clairexen	2020-07-02	1	-2/+1
\|\ \ \ \
\| * \| \| \|	fmcombine: use the master ff cell type list	Marcelina Kościelnicka	2020-06-30	1	-2/+1
\| \|/ / /
* \| \| \|	Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge	clairexen	2020-07-02	1	-3/+1
\|\ \ \ \
\| * \| \| \|	opt_merge: use the master FF type list	Marcelina Kościelnicka	2020-06-30	1	-3/+1
\| \|/ / /
* \| \| \|	Merge pull request #2195 from YosysHQ/mwk/manual-gates	clairexen	2020-07-02	1	-50/+201
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| * \| \|	Add latches to the manual.	Marcelina Kościelnicka	2020-06-26	1	-42/+165
\| * \| \|	Add a few more gate types to the manual.	Marcelina Kościelnicka	2020-06-26	1	-8/+36
* \| \| \|	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
\|/ / / /