iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	tests: add design -delete tests	Eddie Hung	2020-04-16	2	-0/+18
*	kernel: add design -delete option	Eddie Hung	2020-04-16	2	-1/+22
*	Merge pull request #1915 from boqwxp/dict_move_semantics	whitequark	2020-04-16	1	-4/+68
\|\
\| *	Rename overloaded `insert()` to `emplace()` and add overloaded versions for a...	Alberto Gonzalez	2020-04-16	1	-1/+31
\| *	Add `dict` support for rvalue references and C++11 move semantics.	Alberto Gonzalez	2020-04-13	1	-4/+38
* \|	Merge pull request #1900 from Xiretza/suppress-makefile-echo	whitequark	2020-04-16	1	-0/+3
\|\ \
\| * \|	Suppress output of Makefile.conf when printing source versions	Xiretza	2020-04-11	1	-0/+3
* \| \|	Merge pull request #1937 from hzeller/consexpr-opportunity	whitequark	2020-04-16	2	-5/+4
\|\ \ \
\| * \| \|	Use static constexpr instead of static const where possible.	Henner Zeller	2020-04-14	2	-5/+4
* \| \| \|	Merge pull request #1943 from YosysHQ/dave/fix-1919	David Shah	2020-04-16	3	-2/+25
\|\ \ \ \
\| * \| \| \|	ast: Fix handling of identifiers in the global scope	David Shah	2020-04-16	3	-2/+25
* \| \| \| \|	opt_expr: Fix X and CO outputs for $alu identity-mapping rules.	Marcelina Kościelnicka	2020-04-16	2	-10/+83
\|/ / / /
* \| \| \|	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
\|\ \ \ \ \ \ \