iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Add LookaheadRewriter for proper bitselwrite support	Claire Wolf	2020-04-16	4	-4/+144
*	Improved rewrite code for writing to bit slice (disabled for now)	Claire Wolf	2020-04-15	1	-12/+64
*	Merge pull request #1894 from YosysHQ/mingw_fix	Miodrag Milanović	2020-04-15	1	-0/+4
\|\
\| *	Fix compile for mingw	Miodrag Milanovic	2020-04-15	1	-0/+4
* \|	Merge pull request #1916 from YosysHQ/eddie/kernel_makeblackbox	Eddie Hung	2020-04-15	1	-0/+2
\|\ \
\| * \|	kernel: Module::makeblackbox() to clear connections too	Eddie Hung	2020-04-13	1	-0/+2
* \| \|	Merge pull request #1933 from YosysHQ/eddie/zinit_more	Eddie Hung	2020-04-15	2	-9/+123
\|\ \ \
\| * \| \|	tests: zinit for new types	Eddie Hung	2020-04-14	1	-2/+96
\| * \| \|	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	4	-3/+573
\|\ \ \ \
\| * \| \| \|	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	2	-32/+54
\| * \| \| \|	Hole value recovery and specialization implementation for `qbfsat` command.	Alberto Gonzalez	2020-04-04	2	-20/+70
\| * \| \| \|	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
* \| \| \| \|	Fix the truth table for $_SR_* cells.	Marcelina Kościelnicka	2020-04-15	3	-26/+21
* \| \| \| \|	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	13	-422/+2302
* \| \| \| \| \|	opt_clean: Add missing assignments to opt.did_something.	Marcelina Kościelnicka	2020-04-15	1	-0/+6
* \| \| \| \| \|	Merge pull request #1918 from whitequark/simplify-improve_enum	whitequark	2020-04-15	2	-7/+5
\|\ \ \ \ \ \
\| * \| \| \| \| \|	ast/simplify: improve enum handling.	whitequark	2020-04-15	2	-7/+5
* \| \| \| \| \| \|	synth_intel_alm: VQM support	Dan Ravensloft	2020-04-15	2	-6/+3
* \| \| \| \| \| \|	setundef: Improve error messages.	Marcelina Kościelnicka	2020-04-15	1	-10/+12
* \| \| \| \| \| \|	json: Update format documentation.	Marcelina Kościelnicka	2020-04-15	1	-12/+32
* \| \| \| \| \| \|	Merge pull request #1930 from YosysHQ/claire/fix1876	Claire Wolf	2020-04-15	2	-7/+73
\|\ \ \ \ \ \ \
\| * \| \| \| \| \| \|	tests: add testcases from #1876	Eddie Hung	2020-04-14	1	-0/+60
\| * \| \| \| \| \| \|	Fix 5bba9c3, closes #1876	Claire Wolf	2020-04-14	1	-7/+13
\| \| \|_\|_\|/ / / \| \|/\| \| \| \| \|
* \| \| \| \| \| \|	synth_intel_alm: alternative synthesis for Intel FPGAs	Dan Ravensloft	2020-04-15	29	-1/+1662
* \| \| \| \| \| \|	abc9_ops: Add a check ensuring that connected port actually exists.	Marcelina Kościelnicka	2020-04-15	1	-0/+3
* \| \| \| \| \| \|	Merge pull request #1932 from YosysHQ/dave/cxxrtl-unclocked-read	whitequark	2020-04-15	1	-2/+3
\|\ \ \ \ \ \ \