iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #1864 from boqwxp/cleanup_techmap_abc	whitequark	2020-04-17	1	-99/+80
\|\
\| *	Simplify `passes/techmap/abc.cc` and remove superfluous `RTLIL::SigSpec` cons...	Alberto Gonzalez	2020-04-14	1	-132/+49
\| *	Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`.	Alberto Gonzalez	2020-04-05	1	-99/+163
* \|	Merge pull request #1888 from boqwxp/cleanup_scatter	whitequark	2020-04-17	1	-17/+11
\|\ \
\| * \|	Replace `std::map` with `dict`.	Alberto Gonzalez	2020-04-16	1	-2/+2
\| * \|	Replace pseudo-private member access to `connections_` in `passes/cmds/scatte...	Alberto Gonzalez	2020-04-16	1	-13/+10
\| * \|	Clean up `passes/cmds/scatter.cc`.	Alberto Gonzalez	2020-04-16	1	-10/+7
* \| \|	Merge pull request #1882 from boqwxp/cleanup_rename	whitequark	2020-04-17	1	-119/+103
\|\ \ \
\| * \| \|	Use `dict` instead of `std::map`.	Alberto Gonzalez	2020-04-16	1	-9/+9
\| * \| \|	Revert to `stringf()` rather than stringstreams.	Alberto Gonzalez	2020-04-16	1	-12/+8
\| * \| \|	Clean up pseudo-private member usage in `passes/cmds/rename.cc`.	Alberto Gonzalez	2020-04-16	1	-119/+107
\| \|/ /
* / /	select: add select -unset option	Eddie Hung	2020-04-16	1	-3/+22
\|/ /
* \|	Merge pull request #1928 from YosysHQ/eddie/design_delete	Eddie Hung	2020-04-16	1	-1/+21
\|\ \
\| * \|	kernel: add design -delete option	Eddie Hung	2020-04-16	1	-1/+21
* \| \|	Merge pull request #1927 from YosysHQ/eddie/design_remove_assert	Eddie Hung	2020-04-16	1	-1/+1
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	design: do not delete when iterating over Design::modules() directly	Eddie Hung	2020-04-14	1	-1/+1
* \| \|	opt_expr: Fix X and CO outputs for $alu identity-mapping rules.	Marcelina Kościelnicka	2020-04-16	1	-2/+17
* \| \|	Merge pull request #1933 from YosysHQ/eddie/zinit_more	Eddie Hung	2020-04-15	1	-7/+27
\|\ \ \
\| * \| \|	zinit: handle $__DFFS?E?_[NP][NP][01] too	Eddie Hung	2020-04-14	1	-7/+27
* \| \| \|	Merge pull request #1830 from boqwxp/qbfsat	N. Engelhardt	2020-04-15	2	-0/+551
\|\ \ \ \
\| * \| \| \|	Use `pool` instead of `std::set`.	Alberto Gonzalez	2020-04-11	1	-6/+6
\| * \| \| \|	Use `dict` instead of `std::map`.	Alberto Gonzalez	2020-04-11	1	-8/+8
\| * \| \| \|	Clean up `passes/sat/qbfsat.cc`.	Alberto Gonzalez	2020-04-09	1	-13/+10
\| * \| \| \|	Remove `$anyconst` cells before specialization to eliminate warnings and the ...	Alberto Gonzalez	2020-04-07	1	-2/+25
\| * \| \| \|	Use newly-renamed `-push-copy` option.	Alberto Gonzalez	2020-04-04	1	-1/+1
\| * \| \| \|	Improve style in `passes/sat/qbfsat.cc`.	Alberto Gonzalez	2020-04-04	1	-4/+2
\| * \| \| \|	Gracefully report error when module has nothing to prove.	Alberto Gonzalez	2020-04-04	1	-5/+8
\| * \| \| \|	Suppress `yosys-smtbmc` output unless the new `-show-smtbmc` option is provided.	Alberto Gonzalez	2020-04-04	1	-5/+14
\| * \| \| \|	Fix handling of `-sat` and `-unsat` options when the solver returns `unknown`.	Alberto Gonzalez	2020-04-04	1	-0/+2
\| * \| \| \|	Use `log_push()` and `log_pop()` and show the satisfiable model when `-specia...	Alberto Gonzalez	2020-04-04	1	-0/+28
\| * \| \| \|	Clean up `qbfsat` command and fix AND-reduction of miter outputs.	Alberto Gonzalez	2020-04-04	1	-8/+10
\| * \| \| \|	Use the `-duplicate` option rather than `-save` and `-load` with an explicit ...	Alberto Gonzalez	2020-04-04	1	-2/+2
\| * \| \| \|	Use internal `run_command()` API instead of `popen()`.	Alberto Gonzalez	2020-04-04	1	-49/+15
\| * \| \| \|	Clean up manual casting.	Alberto Gonzalez	2020-04-04	1	-2/+2
\| * \| \| \|	Remove unimplemented `-timeout` option.	Alberto Gonzalez	2020-04-04	1	-16/+4
\| * \| \| \|	Implement the `-assume-outputs`, `-sat`, and -unsat` options for the `qbfsat`...	Alberto Gonzalez	2020-04-04	1	-3/+66
\| * \| \| \|	Add NDEBUG guards to `qbfsat` assertions.	Alberto Gonzalez	2020-04-04	1	-0/+18
\| * \| \| \|	Implement `-specialize-from-file` option for the `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-23/+56
\| * \| \| \|	Implement `-write-solution` option for the `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-7/+28
\| * \| \| \|	Clean up `passes/sat/qbfsat.cc`.	Alberto Gonzalez	2020-04-04	1	-86/+101
\| * \| \| \|	Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole val...	Alberto Gonzalez	2020-04-04	1	-29/+39
\| * \| \| \|	Hole value recovery and specialization implementation for `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-20/+63
\| * \| \| \|	Barebones implementation of `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-32/+157
\| * \| \| \|	Initial skeleton for `qbfsat` command.	Alberto Gonzalez	2020-04-04	2	-0/+207
* \| \| \| \|	Merge pull request #1897 from YosysHQ/dave/bram-rejection-fix	David Shah	2020-04-15	1	-3/+3
\|\ \ \ \ \
\| * \| \| \| \|	memory_bram: Fix ignorance of valid, matched rules	David Shah	2020-04-10	1	-3/+3
* \| \| \| \| \|	Get rid of dffsr2dff.	Marcelina Kościelnicka	2020-04-15	2	-214/+0
* \| \| \| \| \|	opt_clean: Add missing assignments to opt.did_something.	Marcelina Kościelnicka	2020-04-15	1	-0/+6
* \| \| \| \| \|	setundef: Improve error messages.	Marcelina Kościelnicka	2020-04-15	1	-10/+12
* \| \| \| \| \|	abc9_ops: Add a check ensuring that connected port actually exists.	Marcelina Kościelnicka	2020-04-15	1	-0/+3