Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Making GIA use independent truth table number storage when computing truth ta... | Alan Mishchenko | 2012-07-19 | 1 | -0/+1 |
* | 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 numb... | Alan Mishchenko | 2011-04-17 | 1 | -2/+3 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -6/+79 |
* | Version abc90807 | Alan Mishchenko | 2015-06-22 | 1 | -0/+2 |
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 1 | -2/+3 |
* | Version abc90410 | Alan Mishchenko | 2009-04-10 | 1 | -1/+3 |
* | Version abc90408 | Alan Mishchenko | 2009-04-08 | 1 | -0/+1 |
* | Version abc90329 | Alan Mishchenko | 2009-03-29 | 1 | -7/+42 |
* | Version abc90321 | Alan Mishchenko | 2009-03-21 | 1 | -0/+58 |
* | Version abc90310 | Alan Mishchenko | 2009-03-10 | 1 | -1/+10 |
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 1 | -0/+203 |