iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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 #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 #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
\| \|/
* \|	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
\|/
*	Clean up pseudo-private member usage in `passes/sat/miter.cc`.	Alberto Gonzalez	2020-03-19	1	-60/+56
*	Merge pull request #1638 from YosysHQ/eddie/fix1631	Eddie Hung	2020-02-05	1	-6/+77
\|\
\| *	clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*	Eddie Hung	2020-01-15	1	-6/+77
* \|	Merge pull request #1567 from YosysHQ/eddie/sat_init_warning	Claire Wolf	2020-01-28	1	-1/+2
\|\ \
\| * \|	Suppress warning message for init[i] = 1'bx	Eddie Hung	2019-12-11	1	-1/+2
* \| \|	Add fminit pass	Clifford Wolf	2020-01-09	2	-0/+198
\| \|/ \|/\|
* \|	Fix sim for assignments with lhs<rhs size, fixes #1565	Clifford Wolf	2019-12-17	1	-1/+1
\|/
*	Revert "Be mindful that sigmap(wire) could have dupes when checking \init"	Eddie Hung	2019-10-08	1	-4/+1
*	Be mindful that sigmap(wire) could have dupes when checking \init	Eddie Hung	2019-10-02	1	-1/+4
*	Fix $dlatch handling in async2sync	Clifford Wolf	2019-09-30	1	-0/+1
*	Add $dlatch support to async2sync	Clifford Wolf	2019-08-28	1	-1/+36
*	Ignore all 1'bx in (* init *)	Eddie Hung	2019-08-27	1	-3/+1
*	In sat: 'x' in init attr should not override constant	Eddie Hung	2019-08-22	1	-0/+2
*	More use of IdString::in()	Eddie Hung	2019-08-15	1	-1/+1
*	substr() -> compare()	Eddie Hung	2019-08-07	3	-6/+6
*	Remove std:: namespace	Eddie Hung	2019-08-07	1	-5/+5
*	stoi -> atoi	Eddie Hung	2019-08-07	4	-33/+33
*	Use std::stoi instead of atoi(<str>.c_str())	Eddie Hung	2019-08-06	4	-33/+33
*	Use State::S{0,1}	Eddie Hung	2019-08-06	2	-3/+3
*	Fix tests/various/async FFL test	Clifford Wolf	2019-07-09	1	-0/+7
*	Add a few more filename rewrites	Ben Widawsky	2019-06-20	1	-0/+4