iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	1	-1/+5
\|
*	Adding support of XOR/MUX in GIA.	Alan Mishchenko	2013-05-17	1	-0/+1
\|
*	Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.	Alan Mishchenko	2013-05-17	1	-1/+1
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
\|
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-25	1	-0/+4
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-23	1	-1/+1
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-18	1	-0/+2
\|
*	Integrating packing information.	Alan Mishchenko	2013-02-17	1	-0/+2
\|
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-2/+6
\|
*	Made print-out of frontier cut an option ('-c') in '&ps'.	Alan Mishchenko	2012-11-12	1	-3/+3
\|
*	Extending GIA to represent pintypes and pins.	Alan Mishchenko	2012-11-12	1	-0/+1
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	1	-0/+92
\|
*	Creating dedicated choice representation for GIA.	Alan Mishchenko	2012-10-24	1	-0/+32
\|
*	Adding frontier comptuation based on reversed CO order in &ps.	Alan Mishchenko	2012-10-24	1	-1/+1
\|
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	1	-1/+1
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-01	1	-0/+1
\|
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	1	-149/+1
\|
*	Enabled recording the name of the file GIA is coming from.	Alan Mishchenko	2012-09-04	1	-1/+2
\|
*	Added generation of values of internal nodes for GIA manager.	Alan Mishchenko	2012-08-08	1	-0/+1
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-29	1	-0/+1
\|
*	Minor updates to the BMC engines.	Alan Mishchenko	2012-07-27	1	-0/+2
\|
*	Updated code for lazy man's synthesis (memory optimization).	Alan Mishchenko	2012-07-20	1	-5/+5
\|
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-20	1	-1/+3
\|
*	Making GIA use independent truth table number storage when computing truth ↵	Alan Mishchenko	2012-07-19	1	-0/+1
\| \| \| \|	tables.
*	Replacing Mb/Gb to be MB/GB.	Alan Mishchenko	2012-07-09	1	-3/+3
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-1/+1
\|
*	Procedure to compute truth tables for POs of GIA.	Alan Mishchenko	2012-07-07	1	-0/+1
\|
*	Making 'pdr', &gla, &vta print correctly in batch mode.	Alan Mishchenko	2012-07-07	1	-1/+2
\|
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-05	1	-2/+5
\|
*	Added static fanout to GIA package.	Alan Mishchenko	2012-07-04	1	-0/+1
\|
*	Performance improvement in &gla_refine.	Alan Mishchenko	2012-07-03	1	-27/+2
\|
*	New computation of tents for GIA package.	Alan Mishchenko	2012-06-28	1	-2/+61
\|
*	Added printout of BMC tents in &ps.	Alan Mishchenko	2012-02-19	1	-1/+14
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-1/+1
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	1	-4/+17
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-28	1	-3/+3
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-7/+8
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-20	1	-1/+1
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-20	1	-2/+6
\|
*	New hierarchy manager plus additional printout in the GIA package.	Alan Mishchenko	2012-01-16	1	-1/+0
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-15	1	-0/+67
\|
*	New hierarchy manager.	Alan Mishchenko	2012-01-14	1	-1/+1
\|
*	Added counting hits and misses during structural hashing.	Alan Mishchenko	2012-01-13	1	-0/+1
\|
*	New abstraction code.	Alan Mishchenko	2011-10-15	1	-8/+38
\|
*	Initial changes to enable gate-level abstraction.	Alan Mishchenko	2011-09-22	1	-17/+39
\|
*	Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵	Alan Mishchenko	2011-04-17	1	-2/+3
\| \| \| \|	numbers.
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-6/+79
\|
*	Version abc90807	Alan Mishchenko	2015-06-22	1	-0/+2
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90714	Alan Mishchenko	2015-06-22	1	-2/+3
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90410	Alan Mishchenko	2009-04-10	1	-1/+3
\|