iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Small changes for today's experiments.	Alan Mishchenko	2016-06-03	1	-5/+5
*	Enabling AIGs without structural hashing.	Alan Mishchenko	2016-05-20	1	-12/+22
*	Enabling AIGs without structural hashing.	Alan Mishchenko	2016-05-20	1	-1/+5
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-07	1	-0/+1
*	Improvements to &b -das.	Alan Mishchenko	2015-09-18	1	-3/+7
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-11	1	-0/+3
*	Generation of barrier-buffers for hierarchical design.	Alan Mishchenko	2014-11-10	1	-1/+1
*	Adding MAJ gate to GIA package.	Alan Mishchenko	2014-10-26	1	-0/+19
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	1	-0/+4
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	1	-0/+6
*	Performance improvements in GIA package.	Alan Mishchenko	2013-09-27	1	-3/+8
*	Adding support of XOR/MUX in GIA.	Alan Mishchenko	2013-05-17	1	-34/+121
*	Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.	Alan Mishchenko	2013-05-17	1	-1/+1
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-25	1	-0/+31
*	Extending GIA to represent pintypes and pins.	Alan Mishchenko	2012-11-12	1	-1/+1
*	Enabled recording the name of the file GIA is coming from.	Alan Mishchenko	2012-09-04	1	-0/+1
*	Updated code for lazy man's synthesis (memory optimization).	Alan Mishchenko	2012-07-20	1	-1/+1
*	Added several new APIs to GIA and for file management.	Alan Mishchenko	2012-03-30	1	-0/+4
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-23/+23
*	New hierarchy manager.	Alan Mishchenko	2012-01-17	1	-2/+2
*	Removing additional printout in the GIA package.	Alan Mishchenko	2012-01-16	1	-15/+5
*	New hierarchy manager plus additional printout in the GIA package.	Alan Mishchenko	2012-01-16	1	-0/+14
*	Added counting hits and misses during structural hashing.	Alan Mishchenko	2012-01-13	1	-1/+5
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-1/+26
*	Version abc90408	Alan Mishchenko	2009-04-08	1	-12/+21
*	Version abc90329	Alan Mishchenko	2009-03-29	1	-1/+29
*	Version abc90220	Alan Mishchenko	2009-02-20	1	-0/+18
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-0/+541