iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	cxxrtl: expose port direction in debug information.	whitequark	2020-09-02	3	-5/+51
*	cxxrtl: fix typo in comment. NFC.	whitequark	2020-09-02	1	-1/+1
*	cxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation. NFC.	whitequark	2020-09-02	1	-1/+1
*	Use latest verific	Miodrag Milanovic	2020-09-02	1	-1/+1
*	Bump version	Yosys Bot	2020-09-02	1	-1/+1
*	Merge pull request #2352 from zachjs/const-func-localparam	clairexen	2020-09-01	2	-3/+18
\|\
\| *	Allow localparams in constant functions	Zachary Snow	2020-08-20	2	-3/+18
* \|	Merge pull request #2366 from zachjs/library-format	clairexen	2020-09-01	1	-0/+11
\|\ \
\| * \|	Simple support for %l format specifier	Zachary Snow	2020-08-29	1	-0/+11
\| \|/
* \|	Merge pull request #2353 from zachjs/top-scope	clairexen	2020-09-01	2	-0/+23
\|\ \
\| * \|	Module name scope support	Zachary Snow	2020-08-20	2	-0/+23
\| \|/
* \|	Merge pull request #2365 from zachjs/const-arg-loop-split-type	clairexen	2020-09-01	2	-3/+24
\|\ \
\| * \|	Fix constant args used with function ports split across declarations	Zachary Snow	2020-08-29	2	-3/+24
\| \|/
* \|	Bump version	Yosys Bot	2020-09-01	1	-1/+1
* \|	Reorder to prevent crash	Miodrag Milanovic	2020-08-31	1	-3/+3
* \|	Merge pull request #2368 from YosysHQ/verific_portrange	clairexen	2020-08-31	1	-11/+20
\|\ \
\| * \|	ast recognize lower case x and z and verific gives upper case	Miodrag Milanovic	2020-08-30	1	-2/+6
\| * \|	Do not check for 1 and 0 only	Miodrag Milanovic	2020-08-30	1	-6/+0
\| * \|	Fix import of VHDL enums	Miodrag Milanovic	2020-08-30	1	-11/+22
\|/ /
* \|	Bump version	Yosys Bot	2020-08-30	1	-1/+1
* \|	write_smt2: fix SMT-LIB tutorial URL	whitequark	2020-08-29	1	-1/+1
* \|	Bump version	Yosys Bot	2020-08-29	1	-1/+1
* \|	intel_alm: better map wide but shallow multiplies	Dan Ravensloft	2020-08-28	1	-2/+6
* \|	Bump version	Yosys Bot	2020-08-28	1	-1/+1
* \|	Merge pull request #2364 from whitequark/manual-typo	Miodrag Milanović	2020-08-27	1	-1/+1
\|\ \
\| * \|	manual: fix typo.	whitequark	2020-08-27	1	-1/+1
\|/ /
* \|	Merge pull request #2357 from whitequark/cxxflags-MP	whitequark	2020-08-27	1	-1/+1
\|\ \
\| * \|	Add -MP to CXXFLAGS.	whitequark	2020-08-26	1	-1/+1
* \| \|	Merge pull request #2356 from whitequark/flatten-techmap-no-tpl_driven-sigmap	whitequark	2020-08-27	3	-9/+17
\|\ \ \
\| * \| \|	flatten, techmap: don't canonicalize tpl driven bits via sigmap.	whitequark	2020-08-26	3	-9/+17
* \| \| \|	Merge pull request #2358 from whitequark/rename-ilang-to-rtlil	whitequark	2020-08-27	28	-178/+206
\|\ \ \ \
\| * \| \| \|	Replace "ILANG" with "RTLIL" everywhere.	whitequark	2020-08-26	28	-178/+206
\| \| \|/ / \| \|/\| \|
* \| \| \|	dfflegalize: Fix decision tree for adffe.	Marcelina Kościelnicka	2020-08-27	1	-1/+5
* \| \| \|	Bump version	Yosys Bot	2020-08-27	1	-1/+1
* \| \| \|	intel_alm: Add multiply signedness to cells	Dan Ravensloft	2020-08-26	7	-16/+147
\|/ / /
* \| \|	Merge pull request #2355 from YosysHQ/verific_improvements	Miodrag Milanović	2020-08-26	1	-1/+223
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	Add formal apps and template generators	Miodrag Milanovic	2020-08-26	1	-1/+223
* \| \|	Merge pull request #2351 from pbsds/proc_nomux	whitequark	2020-08-26	1	-1/+10
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	proc: Add -nomux switch	Peder Bergebakken Sundt	2020-08-20	1	-1/+10
* \| \|	Bump version	Yosys Bot	2020-08-23	1	-1/+1
* \| \|	Merge pull request #2349 from nmoroze/smt2-bugfix	clairexen	2020-08-22	1	-9/+20
\|\ \ \
\| * \| \|	Ensure smt2 comments are associated with accessors	Noah Moroze	2020-08-20	1	-9/+20
* \| \| \|	Bump version	Yosys Bot	2020-08-21	1	-1/+1
\| \|_\|/ \|/\| \|
* \| \|	synth_intel: Remove incomplete Arria 10 GX support.	Marcelina Kościelnicka	2020-08-21	5	-192/+4
\| \|/ \|/\|
* \|	intel: move Cyclone V support to intel_alm	Dan Ravensloft	2020-08-20	7	-203/+11
* \|	Merge pull request #2347 from YosysHQ/mwk/techmap-shift-fixes	clairexen	2020-08-20	3	-81/+38
\|\ \
\| * \|	techmap/shift_shiftx: Remove the "shiftx2mux" special path.	Marcelina Kościelnicka	2020-08-20	3	-81/+38
* \| \|	Merge pull request #2344 from YosysHQ/mwk/opt_share-fixes	clairexen	2020-08-20	4	-223/+192
\|\ \ \
\| * \| \|	opt_share: Refactor, fix some bugs.	Marcelina Kościelnicka	2020-08-17	4	-223/+192
* \| \| \|	Merge pull request #2337 from YosysHQ/mwk/clean-keep-wire	clairexen	2020-08-20	1	-4/+9
\|\ \ \ \