iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Replace assert with error message	Eddie Hung	2019-06-21	1	-1/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Add log_push()/log_pop() inside write_xaiger	Eddie Hung	2019-06-21	1	-0/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	One more workaround for gcc-4.8	Eddie Hung	2019-06-21	1	-3/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Workaround issues exposed by gcc-4.8	Eddie Hung	2019-06-21	1	-0/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	No point logging constant bit	Eddie Hung	2019-06-21	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Move comment	Eddie Hung	2019-06-21	1	-2/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Fix spacing	Eddie Hung	2019-06-20	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Revert Makefile	Eddie Hung	2019-06-20	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Refactor bit2aig for less lookups	Eddie Hung	2019-06-20	1	-24/+27
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Fix gcc invalidation behaviour for write_aiger	Eddie Hung	2019-06-20	1	-1/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Fix gcc error, due to dict invalidation during recursion	Eddie Hung	2019-06-20	2	-4/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Fix gcc warning of potentially uninitialised	Eddie Hung	2019-06-20	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	write_xaiger to flatten 1'bx/1'bz to 1'b0 again	Eddie Hung	2019-06-20	1	-2/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Fix simple_abc9/generate test with 1'bx at MSB	Eddie Hung	2019-06-20	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Fix different abc9 test	Eddie Hung	2019-06-20	1	-2/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Fix broken abc9.v test due to inout being 1'bx	Eddie Hung	2019-06-20	2	-5/+21
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Run simple_abc9 tests	Eddie Hung	2019-06-20	1	-0/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Merge remote-tracking branch 'origin/master' into xaig	Eddie Hung	2019-06-20	31	-50/+250
\| \| \|\ \ \ \ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Fix issue with part of PI being 1'bx	Eddie Hung	2019-06-20	2	-4/+11
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc	Eddie Hung	2019-06-20	1	-0/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Handle COs driven by 1'bx	Eddie Hung	2019-06-20	1	-3/+9
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Do not call "setundef -zero" in abc9	Eddie Hung	2019-06-20	1	-5/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	write_xaiger to skip POs driven by 1'bx	Eddie Hung	2019-06-20	1	-3/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Really permute Xilinx LUT mappings as default LUT6.I5:A6	Eddie Hung	2019-06-18	1	-16/+16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Revert "Fix (do not) permute LUT inputs, but permute mux selects"	Eddie Hung	2019-06-18	1	-33/+31
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This reverts commit da3d2eedd2b6391621e81b3eaaa28a571e058f9d.
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Clean up	Eddie Hung	2019-06-18	1	-6/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Fix (do not) permute LUT inputs, but permute mux selects	Eddie Hung	2019-06-18	1	-31/+33
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Fix copy-pasta issue	Eddie Hung	2019-06-17	1	-9/+8
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Permute INIT for +/xilinx/lut_map.v	Eddie Hung	2019-06-17	1	-32/+58
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Simplify comment	Eddie Hung	2019-06-17	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge pull request #1146 from gsomlo/gls-test-abc-ext	Clifford Wolf	2019-06-28	4	-8/+29
\| \|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	tests: use optional ABCEXTERNAL when specified
\| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	tests: use optional ABCEXTERNAL when specified	Gabriel L. Somlo	2019-06-27	4	-8/+29
\| \| \| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ \| \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Commits 65924fd1, abc40924, and ebe29b66 hard-code the invocation of yosys-abc, which fails if ABCEXTERNAL was specified during the build. Allow tests to utilize an optional, externally specified abc binary. Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
\| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge pull request #1046 from bogdanvuk/master	Clifford Wolf	2019-06-28	5	-16/+127
\| \|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \| \|/ / / / / / / / / / / / / \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \|	Optimizing DFFs whose initial value prevents their value from changing
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Add help for "-sat" option inside opt_rmdff. "opt" can pass "-sat" too	Bogdan Vukobratovic	2019-06-27	2	-2/+10
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Fix memory leak when one of multiple DFF cells is removed in opt_rmdff	Bogdan Vukobratovic	2019-06-27	1	-0/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	When there are multiple DFFs and one of them is removed, its reference lingers inside bit2driver dict. While invoking handle_dff() function for other DFFs, this broken reference is used isnside sat_import_cell() function.
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Merge remote-tracking branch 'upstream/master'	Bogdan Vukobratovic	2019-06-27	37	-143/+1631
\| \| \|\ \ \ \ \ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Refactor "opt_rmdff -sat"	Clifford Wolf	2019-06-20	4	-373/+58
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
\| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge branch 'master' of https://github.com/bogdanvuk/yosys into ↵	Clifford Wolf	2019-06-20	5	-10/+423
\| \| \|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	clifford/ext1046
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Move netlist helper module to passes/opt for the time being	Bogdan Vukobratovic	2019-06-14	2	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge remote-tracking branch 'upstream/master'	Bogdan Vukobratovic	2019-06-14	73	-475/+1352
\| \| \| \|\ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Prepare for situation when port of the signal cannot be found	Bogdan Vukobratovic	2019-06-14	2	-2/+8
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Some cleanup, revert sat.cc	Bogdan Vukobratovic	2019-06-14	2	-13/+11
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Implement disconnection of constant register bits	Bogdan Vukobratovic	2019-06-13	2	-44/+109
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Pass SigBit by value to Netlist algorithms	Bogdan Vukobratovic	2019-06-13	1	-65/+84
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Rename satgen_algo.h -> algo.h, code cleanup and refactoring	Bogdan Vukobratovic	2019-06-12	4	-279/+265
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Generate satgen instance instead of calling sat pass	Bogdan Vukobratovic	2019-06-11	2	-24/+129
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Refactor driver map generation	Bogdan Vukobratovic	2019-06-10	1	-0/+158
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- Implement iterators over the driver map that enumerate signals and cells within the cones of the signal
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Fix the regression	Bogdan Vukobratovic	2019-05-28	1	-1/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge remote-tracking branch 'upstream/master'	Bogdan Vukobratovic	2019-05-28	1	-1/+11
\| \| \| \|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Optimizing DFFs whose initial value prevents their value from changing	Bogdan Vukobratovic	2019-05-28	4	-3/+78
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This is a proof of concept implementation that invokes SAT solver via Pass::call method.