iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding error message for when size (width) of number literal is zero	Diego H	2020-03-30	1	-0/+4
*	Merge pull request #1783 from boqwxp/astcc_cleanup	Eddie Hung	2020-03-30	1	-13/+20
\|\
\| *	Add explanatory comment about inefficient wire removal and remove superfluous...	Alberto Gonzalez	2020-03-30	1	-4/+8
\| *	Revert over-aggressive change to a more modest cleanup.	Alberto Gonzalez	2020-03-27	1	-2/+3
\| *	Clean up pseudo-private member usage in `frontends/ast/ast.cc`.	Alberto Gonzalez	2020-03-19	1	-11/+13
* \|	Merge pull request #1835 from boqwxp/cleanup_sat_expose	Eddie Hung	2020-03-30	1	-85/+66
\|\ \
\| * \|	Remove unused function parameter.	Alberto Gonzalez	2020-03-30	1	-2/+2
\| * \|	Simplify iterating over selected modules or cells.	Alberto Gonzalez	2020-03-30	1	-16/+4
\| * \|	Clean up more in `passes/sat/expose.cc`.	Alberto Gonzalez	2020-03-30	1	-64/+59
\| * \|	Clean up pseudo-private member usage in `passes/sat/expose.cc`.	Alberto Gonzalez	2020-03-28	1	-11/+9
* \| \|	Merge pull request #1832 from boqwxp/cleanup_passes_cmds_design	Eddie Hung	2020-03-30	1	-31/+33
\|\ \ \
\| * \| \|	Replace `RTLIL::id2cstr()` with `log_id()`.	Alberto Gonzalez	2020-03-30	1	-1/+1
\| * \| \|	Clean up pseudo-private member usage in `passes/cmds/design.cc`.	Alberto Gonzalez	2020-03-28	1	-31/+33
\| \|/ /
* \| \|	Merge pull request #1786 from boqwxp/hierarchycc_cleanup	Eddie Hung	2020-03-30	1	-69/+63
\|\ \ \
\| * \| \|	Fix double deletion in `passes/hierarchy/hierarchy.cc`.	Alberto Gonzalez	2020-03-30	1	-1/+0
\| * \| \|	Clean up pseudo-private member usage in `passes/hierarchy/hierarchy.cc`.	Alberto Gonzalez	2020-03-19	1	-68/+63
\| \| \|/ \| \|/\|
* \| \|	Merge pull request #1831 from boqwxp/cleanup_sat_eval	Eddie Hung	2020-03-30	1	-46/+44
\|\ \ \
\| * \| \|	Further clean up `passes/sat/eval.cc`.	Alberto Gonzalez	2020-03-30	1	-16/+15
\| * \| \|	Clean up pseudo-private member usage in `passes/sat/eval.cc`.	Alberto Gonzalez	2020-03-28	1	-35/+34
\| \| \|/ \| \|/\|
* \| \|	Merge pull request #1833 from boqwxp/cleanup_sat_freduce	Eddie Hung	2020-03-30	1	-15/+13
\|\ \ \
\| * \| \|	Further clean up `passes/sat/freduce.cc`.	Alberto Gonzalez	2020-03-30	1	-3/+2
\| * \| \|	Clean up pseudo-private member usage in `passes/sat/freduce.cc`.	Alberto Gonzalez	2020-03-28	1	-13/+12
\| \|/ /
* \| \|	Merge pull request #1811 from PeterCrozier/typedef_scope	N. Engelhardt	2020-03-30	6	-43/+88
\|\ \ \
\| * \| \|	Inline productions to follow house style.	Peter Crozier	2020-03-27	1	-33/+29
\| * \| \|	Error duplicate declarations of a typedef name in the same scope.	Peter Crozier	2020-03-24	2	-3/+11
\| * \| \|	Support module/package/interface/block scope for typedef names.	Peter Crozier	2020-03-23	6	-22/+63
* \| \| \|	Merge pull request #1778 from rswarbrick/sv-defines	N. Engelhardt	2020-03-30	11	-151/+636
\|\ \ \ \
\| * \| \| \|	Add support for SystemVerilog-style `define to Verilog frontend	Rupert Swarbrick	2020-03-27	11	-151/+636
* \| \| \| \|	Explicit include of csignal	Miodrag Milanovic	2020-03-28	1	-0/+1
* \| \| \| \|	windows - there are no stopping signals	Miodrag Milanovic	2020-03-28	1	-0/+1
\| \|_\|/ / \|/\| \| \|
* \| \| \|	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