iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Removing equivalence classes when they are not properly refined.	Alan Mishchenko	2022-04-27	1	-0/+2
*	Adding switch to stop scorr if refinement is too slow.	Alan Mishchenko	2022-04-24	1	-3/+33
*	Adding switch to replace proved outputs by const0.	Alan Mishchenko	2020-12-16	1	-1/+1
*	Passing names in &scorr.	Alan Mishchenko	2019-02-18	1	-0/+12
*	Passing names in &scorr.	Alan Mishchenko	2019-02-18	1	-0/+5
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	1	-1/+1
*	Bug fix in seq synthesis due to resent code restructuring.	Alan Mishchenko	2014-10-21	1	-4/+4
*	Deriving cell mapping with &if -kz.	Alan Mishchenko	2014-10-04	1	-4/+4
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	1	-1/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-17/+17
*	Potential improvement to &scorr.	Alan Mishchenko	2013-05-18	1	-0/+72
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-1/+1
*	Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ...	Alan Mishchenko	2012-10-25	1	-0/+13
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	1	-2/+2
*	Enabled recording the name of the file GIA is coming from.	Alan Mishchenko	2012-09-04	1	-0/+3
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-5/+6
*	Disallow the circiut-based solver in &scorr to run with more than 1000 confli...	Alan Mishchenko	2012-04-24	1	-0/+3
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-1/+1
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-0/+1137