iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	write_aiger: Fix non-$_FF_ FFs	Jannis Harder	2022-08-18	1	-1/+1
\| \| \| \|	This broke while switching sby's formal flows to always use $_FF_'s.
*	aiger: Add yosys-witness support	Jannis Harder	2022-08-16	1	-0/+169
\| \| \| \| \|	Adds a new json based aiger map file and yosys-witness converters to us this to convert between native and AIGER witness files.
*	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
\| \| \| \| \| \| \| \|	s/((Claire\|Xen\|Xenia\|Clifford)\s+)+(Wolf\|Xen)\s+<(claire\|clifford)@(symbioticeda.com\|clifford.at\|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina\|Nak\|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com\|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave\|david)@(symbioticeda.com\|yosyshq.com\|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag\|micko)@(symbioticeda.com\|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
*	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
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	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
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	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
\| \| \| \| \| \| \| \|	Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
* \|	Spelling	Eddie Hung	2019-04-18	1	-1/+1
\|/
*	Add "write_aiger -I -O -B"	Clifford Wolf	2018-11-12	1	-2/+36
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	Consistent use of 'override' for virtual methods in derived classes.	Henner Zeller	2018-07-20	1	-2/+2
\| \| \| \| \| \| \| \| \|	o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -- c++ -- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
*	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