iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
\| * \| \| \|	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
* \| \| \| \| \| \|	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
\| \|/ / / / \|/\| \| \| \|