Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | 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 |