iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Bug fix in writing latch init values in 'write_aiger'.	Alan Mishchenko	2014-06-17	1	-3/+3
\|
*	Added transformation of CEX after 'fix_aig' and checking of transformed ↵	Alan Mishchenko	2014-06-17	4	-24/+129
\| \| \| \|	CEXes using 'testcex -a'.
*	Bug fix in timeout of &splitprove.	Alan Mishchenko	2014-06-16	1	-1/+1
\|
*	Bug fix in CEC generation after rarity simulation and few small changes.	Alan Mishchenko	2014-06-16	3	-6/+11
\|
*	Adding support of multi-output problems in &splitprove.	Alan Mishchenko	2014-06-15	3	-2/+137
\|
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	1	-0/+13
\|
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	4	-3/+21
\|
*	Adding more features to the synthesis script &syn2.	Alan Mishchenko	2014-06-14	5	-17/+56
\|
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	6	-83/+121
\|
*	pyabc package script: don't package mercurial repositories	Baruch Sterin	2014-06-14	1	-0/+3
\|
*	pyabc packaging script: also package shared objects	Baruch Sterin	2014-06-14	1	-1/+1
\|
*	Various modifications.	Alan Mishchenko	2014-06-13	1	-1/+2
\|
*	Various modifications.	Alan Mishchenko	2014-06-12	13	-104/+141
\|
*	Enabling switching activity.	Alan Mishchenko	2014-06-12	2	-2/+7
\|
*	Integrating recent changes.	Alan Mishchenko	2014-06-12	4	-45/+40
\|
*	Adding switch to &st to convert to larger gates.	Alan Mishchenko	2014-06-11	1	-5/+12
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-1/+1
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-0/+61
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	7	-8/+242
\|
*	add an option to the pyabc packaging scripts	Baruch Sterin	2014-06-10	1	-2/+7
\|
*	minor changes to pyabc install script	Baruch Sterin	2014-06-09	1	-2/+14
\|
*	Skip 'scorr' when the network has no primary inputs.	Alan Mishchenko	2014-06-09	1	-0/+6
\|
*	Commented out some assertions in	Alan Mishchenko	2014-06-07	1	-8/+8
\| \| \| \|	'map'.
*	Adding print-out to &splitprove to see impact of cof variable on AIG size.	Alan Mishchenko	2014-06-07	2	-10/+14
\|
*	Adding print-out to &splitprove to see impact of cof variable on AIG size.	Alan Mishchenko	2014-06-07	4	-18/+49
\|
*	Adding a feature to collapse hierarhical AIGs.	Alan Mishchenko	2014-06-05	2	-5/+23
\|
*	Correcting switching activity computation.	Alan Mishchenko	2014-06-05	5	-56/+46
\|
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
\|
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-2/+4
\|
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
\|
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
\|
*	Fixed C-compiler errors on Windows.	Alan Mishchenko	2014-06-04	1	-7/+9
\|
*	ci	Jiang Long	2014-06-04	1	-1/+1
\|
*	the latest version	Jiang Long	2014-06-04	4	-117/+120
\|
*	merge unfold2	Jiang Long	2014-06-04	9	-3/+771
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-0/+4
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-4/+4
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-1/+1
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-2/+2
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-134/+158
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-5/+5
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	5	-82/+362
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-9/+31
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-13/+26
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-9/+42
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-52/+59
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-2/+1
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-1/+1
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	4	-53/+120
\|
*	Merging two branches.	Alan Mishchenko	2014-06-04	1	-5/+6
\|\