iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
* \|	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
*	Add $live and $fair support to AIGER back-end.	Clifford Wolf	2017-02-25	1	-8/+104
*	Added $anyconst support to AIGER back-end	Clifford Wolf	2016-12-11	1	-0/+7
*	Added $assert/$assume support to AIGER back-end	Clifford Wolf	2016-12-03	1	-10/+51
*	Added "write_aiger -zinit -symbols -vmap"	Clifford Wolf	2016-12-01	1	-30/+139
*	Added "write_aiger" command	Clifford Wolf	2016-11-30	2	-0/+398