iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Clean up pseudo-private member usage in `passes/sat/freduce.cc`.	Alberto Gonzalez	2020-03-28	1	-13/+12
*	Merge pull request #1607 from whitequark/simplify-simplify-meminit	Claire Wolf	2020-03-27	1	-63/+82
\|\
\| *	ast: avoid intermediate wires/assigns when lowering to AST_MEMINIT.	whitequark	2020-02-07	1	-65/+84
* \|	Merge pull request #1815 from boqwxp/fix-ef-optimize	Claire Wolf	2020-03-27	1	-1/+7
\|\ \
\| * \|	Do not change solver output parsing for non-exists-forall problems.	Alberto Gonzalez	2020-03-26	1	-2/+6
\| * \|	Skip reading stdout from the solver that if it isn't a line reading only "sat...	Alberto Gonzalez	2020-03-26	1	-1/+3
* \| \|	Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fix	Claire Wolf	2020-03-26	2	-1/+19
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	techmap: Fix cell names with _TECHMAP_REPLACE_.*	Marcin Kościelnicki	2020-03-23	2	-1/+19
* \| \|	Revert part of 0fda8308 from #1746 that broke other smtbmc flows	Claire Wolf	2020-03-24	1	-3/+1
* \| \|	Merge pull request #1763 from boqwxp/issue1762	N. Engelhardt	2020-03-23	8	-12/+73
\|\ \ \
\| * \| \|	Do not warn on empty selection with prefixed `arg_memb`.	Alberto Gonzalez	2020-03-23	2	-1/+7
\| * \| \|	Suppress warnings for empty `select` arguments when `-count` or `-assert-*` o...	Alberto Gonzalez	2020-03-23	2	-4/+7
\| * \| \|	Add tests for `select` command warnings.	Alberto Gonzalez	2020-03-23	4	-0/+13
\| * \| \|	Warn on empty selection for `add` command.	Alberto Gonzalez	2020-03-23	2	-6/+40
\| * \| \|	Add N:* to select language, fix some old code	Claire Wolf	2020-03-17	1	-4/+9
* \| \| \|	Merge pull request #1803 from Grazfather/typedef	N. Engelhardt	2020-03-23	12	-40/+124
\|\ \ \ \
\| * \| \| \|	Simplify was not being called for packages. Broke typedef enums.	Peter Crozier	2020-03-22	1	-5/+8
\| * \| \| \|	Build pkg_user_types before parsing in case of changes in the design.	Peter Crozier	2020-03-22	1	-6/+3
\| * \| \| \|	Clear pkg_user_types if no packages following a 'design -reset-vlog'.	Peter	2020-03-22	2	-0/+5
\| * \| \| \|	Revert typedef tests to standard grammar.	Peter	2020-03-22	7	-25/+26
\| * \| \| \|	Parser changes to support typedef.	Peter	2020-03-22	4	-10/+88
* \| \| \| \|	Merge pull request #1805 from hofstee/master	N. Engelhardt	2020-03-23	2	-2/+2
\|\ \ \ \ \
\| * \| \| \| \|	fix typo in `write_smt2` help	Teguh Hofstee	2020-03-23	2	-2/+2
* \| \| \| \| \|	Merge pull request #1785 from boqwxp/mitercc_cleanup	N. Engelhardt	2020-03-23	1	-60/+56
\|\ \ \ \ \ \ \| \|/ / / / / \|/\| \| \| \| \|
\| * \| \| \| \|	Clean up pseudo-private member usage in `passes/sat/miter.cc`.	Alberto Gonzalez	2020-03-19	1	-60/+56
* \| \| \| \| \|	iopadmap: Attempt to give new wires/cells meaningful names	R. Ou	2020-03-22	1	-6/+18
\| \|_\|_\|/ / \|/\| \| \| \|
* \| \| \| \|	Merge pull request #1794 from YosysHQ/dave/mince-abc9-fix	David Shah	2020-03-21	2	-0/+18
\|\ \ \ \ \
\| * \| \| \| \|	Add test for abc9+mince issue	David Shah	2020-03-20	1	-0/+17
\| * \| \| \| \|	ice40: Map unmapped 'mince' DFFs to gate level	David Shah	2020-03-20	1	-0/+1
* \| \| \| \| \|	Merge pull request #1795 from smunaut/fix_abc9_spram	Eddie Hung	2020-03-20	1	-2/+2
\|\ \ \ \ \ \ \| \|/ / / / / \|/\| \| \| \| \|
\| * \| \| \| \|	ice40: Fix typos in SPRAM ABC9 timing specs	Sylvain Munaut	2020-03-20	1	-2/+2
\|/ / / / /
* \| / / /	xilinx: Mark IOBUFDS.IOB as external pad	Marcin Kościelnicki	2020-03-20	2	-1/+2
\| \|/ / / \|/\| \| \|
* \| \| \|	Merge pull request #1788 from YosysHQ/eddie/fix_ndebug	Eddie Hung	2020-03-19	2	-2/+2
\|\ \ \ \
\| * \| \| \|	Fix NDEBUG warnings	Eddie Hung	2020-03-19	2	-2/+2
* \| \| \| \|	fsm_extract: Initialize celltypes with full design.	Marcin Kościelnicki	2020-03-19	2	-5/+34
* \| \| \| \|	Merge pull request #1787 from YosysHQ/mmicko/lexer_deps	Miodrag Milanović	2020-03-19	1	-1/+1
\|\ \ \ \ \ \| \|/ / / / \|/\| \| \| \|
\| * \| \| \|	Add one mode dependency	Miodrag Milanovic	2020-03-19	1	-1/+1
\| \|/ / /
* \| \| \|	Merge pull request #1774 from boqwxp/exec	N. Engelhardt	2020-03-19	3	-0/+210
\|\ \ \ \
\| * \| \| \|	Update copyright and license header.	Alberto Gonzalez	2020-03-18	1	-1/+1
\| * \| \| \|	Clean up `exec` code according to review.	Alberto Gonzalez	2020-03-18	1	-5/+18
\| * \| \| \|	Add test for `exec` command.	Alberto Gonzalez	2020-03-16	1	-0/+6
\| * \| \| \|	Allow specifying multiple regexes to match in `exec` command output, and also...	Alberto Gonzalez	2020-03-16	1	-33/+67
\| * \| \| \|	Add `exec` command to run shell commands.	Alberto Gonzalez	2020-03-16	2	-0/+157
* \| \| \| \|	Merge pull request #1775 from huaixv/asserts_locations	N. Engelhardt	2020-03-19	2	-7/+31
\|\ \ \ \ \ \| \|_\|/ / / \|/\| \| \| \|
\| * \| \| \|	Add precise locations for asserts	huaixv	2020-03-19	2	-7/+31
* \| \| \| \|	Merge pull request #1780 from YosysHQ/fix-test-bash	Miodrag Milanović	2020-03-18	2	-3/+4
\|\ \ \ \ \ \| \|_\|_\|/ / \|/\| \| \| \|
\| * \| \| \|	fix argument order for macOS compatibility	N. Engelhardt	2020-03-18	1	-3/+3
\| * \| \| \|	add bash to brewfile	N. Engelhardt	2020-03-18	1	-0/+1
\|/ / / /
* \| \| \|	Merge pull request #1769 from boqwxp/select_cleanup	Eddie Hung	2020-03-17	1	-162/+157
\|\ \ \ \
\| * \| \| \|	Further clean up `passes/cmds/select.cc`.	Alberto Gonzalez	2020-03-16	2	-12/+9