iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix abc9 with (* keep *) wires	Eddie Hung	2019-04-23	1	-6/+14
*	Revert "Temporarily remove 'r' extension"	Eddie Hung	2019-04-22	1	-7/+77
*	Temporarily remove 'r' extension	Eddie Hung	2019-04-22	1	-77/+7
*	Allow POs to be PIs in XAIG	Eddie Hung	2019-04-22	1	-7/+4
*	Fixes for simple_abc9 tests	Eddie Hung	2019-04-19	1	-4/+8
*	Do not assume inst_module is always present	Eddie Hung	2019-04-19	1	-12/+9
*	ignore_boxes -> holes_mode	Eddie Hung	2019-04-19	1	-6/+5
*	Add flop support for write_xaiger	Eddie Hung	2019-04-18	1	-11/+83
*	Spelling	Eddie Hung	2019-04-18	1	-1/+1
*	Use new -wb flag for ABC flow	Eddie Hung	2019-04-18	1	-29/+31
*	Fix $anyseq warning and cleanup	Eddie Hung	2019-04-17	1	-16/+7
*	Cope with inout ports	Eddie Hung	2019-04-17	1	-1/+15
*	Stop topological sort at abc_flop_q	Eddie Hung	2019-04-17	1	-7/+13
*	Remove init* from xaiger, also topo-sort cells for box flow	Eddie Hung	2019-04-17	1	-95/+157
*	Optimise	Eddie Hung	2019-04-16	1	-4/+3
*	CIs before PIs; also sort each cell's connections before iterating	Eddie Hung	2019-04-16	1	-5/+7
*	Port from xc7mux branch	Eddie Hung	2019-04-16	1	-37/+109
*	Output __const0__ and __const1__ CIs	Eddie Hung	2019-04-12	1	-7/+10
*	ci_bits and co_bits now a list, order is important for ABC	Eddie Hung	2019-04-12	1	-24/+34
*	WIP	Eddie Hung	2019-04-12	1	-14/+68
*	Add non-input bits driven by unrecognised cells as ci_bits	Eddie Hung	2019-04-10	1	-1/+1
*	write_xaiger to behave for undriven/unused inouts	Eddie Hung	2019-02-26	1	-23/+25
*	write_xaiger duplicate inout port into out port with $inout.out suffix	Eddie Hung	2019-02-25	1	-3/+26
*	Cleanup abc9 code	Eddie Hung	2019-02-25	1	-13/+8
*	write_xaiger to write __dummy_o__ for -symbols too	Eddie Hung	2019-02-21	1	-12/+11
*	Add attribution	Eddie Hung	2019-02-21	1	-0/+1
*	write_xaiger to use original bit for co, not sigmap()-ed bit	Eddie Hung	2019-02-21	1	-3/+6
*	Remove swap file	Eddie Hung	2019-02-20	1	-0/+0
*	write_aiger: fix CI/CO and symbols	Eddie Hung	2019-02-20	2	-7/+13
*	write_xaiger to not write latches, CO/PO fixes	Eddie Hung	2019-02-20	1	-17/+26
*	Cleanup	Eddie Hung	2019-02-16	1	-4/+5
*	Cleanup	Eddie Hung	2019-02-16	1	-2/+1
*	write_xaiger to support non-bit cell connections, and cope with COs for -O	Eddie Hung	2019-02-16	1	-13/+15
*	write_aiger -O to write dummy output as __dummy_o__	Eddie Hung	2019-02-16	1	-2/+5
*	Tidy up write_xaiger	Eddie Hung	2019-02-16	1	-8/+6
*	write_aiger() to perform CI/CO post-processing and fix symbols	Eddie Hung	2019-02-16	1	-7/+17
*	Fixes needed for DFF circuits	Eddie Hung	2019-02-15	1	-4/+3
*	write_xaiger to cope with unknown cells by transforming them to CI/CO	Eddie Hung	2019-02-15	1	-6/+44
*	More cleanup	Eddie Hung	2019-02-14	1	-15/+6
*	More cleanup of write_xaiger	Eddie Hung	2019-02-14	1	-73/+1
*	Get rid of formal stuff from xaiger backend	Eddie Hung	2019-02-14	1	-58/+0
*	Add write_xaiger	Eddie Hung	2019-02-11	2	-21/+11
*	Copy backends/aiger/aiger.cc to xaiger.cc	Eddie Hung	2019-02-08	1	-0/+788
*	Add "write_aiger -I -O -B"	Clifford Wolf	2018-11-12	1	-2/+36
*	Consistent use of 'override' for virtual methods in derived classes.	Henner Zeller	2018-07-20	1	-2/+2
*	Fix generation of multiple outputs for same AIG node in write_aiger	Clifford Wolf	2017-07-05	1	-13/+30
*	Include output ports with constant driver in AIGER output	Clifford Wolf	2017-07-03	1	-2/+18
*	Fix AIGER back-end for multiple symbols per input/latch/output/property	Clifford Wolf	2017-05-30	1	-8/+20
*	Improve write_aiger handling of unconnected nets and constants	Clifford Wolf	2017-05-28	1	-7/+61
*	Add write_aiger $anyseq support	Clifford Wolf	2017-03-02	1	-0/+7