iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	sim: Improvements and fixes for yw cosim	Jannis Harder	2023-01-11	1	-12/+1
*	aiger: Use new JSON code for writing aiger witness map files	Jannis Harder	2023-01-11	1	-49/+49
*	write_aiger: Fix non-$_FF_ FFs	Jannis Harder	2022-08-18	1	-1/+1
*	aiger: Add yosys-witness support	Jannis Harder	2022-08-16	1	-0/+169
*	aiger: Support $anyinit cells	Jannis Harder	2022-08-16	1	-0/+11
*	Add -no-startoffset option to write_aiger	Miodrag Milanovic	2022-03-25	1	-8/+17
*	Fixing old e-mail addresses and deadnames	Claire Xenia Wolf	2021-06-08	1	-1/+1
*	use the new isPublic() in a few places	N. Engelhardt	2020-09-14	1	-1/+1
*	Use C++11 final/override keywords.	whitequark	2020-06-18	1	-2/+2
*	aiger: fixes for ports that have start_offset != 0	Eddie Hung	2020-05-02	1	-6/+6
*	kernel: big fat patch to use more ID::, otherwise ID()	Eddie Hung	2020-04-02	1	-18/+18
*	kernel: use more ID::*	Eddie Hung	2020-04-02	1	-12/+12
*	write_aiger: make more robust	Eddie Hung	2020-01-06	1	-0/+8
*	Fix write_aiger bug added in 524af21	Clifford Wolf	2019-11-04	1	-0/+3
*	Add aiger and protobuf backends binary support	Miodrag Milanovic	2019-09-28	1	-1/+1
*	Add "write_aiger -L"	Clifford Wolf	2019-09-18	1	-5/+16
*	Also fix write_aiger for UB	Eddie Hung	2019-06-28	1	-26/+26
*	Fix spacing	Eddie Hung	2019-06-20	1	-1/+1
*	Fix gcc invalidation behaviour for write_aiger	Eddie Hung	2019-06-20	1	-1/+2
*	Merge remote-tracking branch 'origin/master' into xaig	Eddie Hung	2019-06-20	1	-0/+1
\|\
\| *	Support filename rewrite in backends	Ben Widawsky	2019-06-18	1	-0/+1
* \|	Spelling	Eddie Hung	2019-04-18	1	-1/+1
\|/
*	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	1	-0/+395