iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Rename `-duplicate` to `-push-copy`.	Alberto Gonzalez	2020-04-04	1	-6/+6
*	Add `-duplicate` option to the `design` command.	Alberto Gonzalez	2020-04-03	1	-2/+13
*	Merge pull request #1783 from boqwxp/astcc_cleanup	Eddie Hung	2020-03-30	1	-13/+20
\|\
\| *	Add explanatory comment about inefficient wire removal and remove superfluous...	Alberto Gonzalez	2020-03-30	1	-4/+8
\| *	Revert over-aggressive change to a more modest cleanup.	Alberto Gonzalez	2020-03-27	1	-2/+3
\| *	Clean up pseudo-private member usage in `frontends/ast/ast.cc`.	Alberto Gonzalez	2020-03-19	1	-11/+13
* \|	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 #1832 from boqwxp/cleanup_passes_cmds_design	Eddie Hung	2020-03-30	1	-31/+33
\|\ \ \
\| * \| \|	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
\|\ \ \ \ \| \|/ / / \|/\| \| \|