Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | User-controlable SAT sweeper and other small changes. | Alan Mishchenko | 2013-02-27 | 1 | -1/+0 |
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 1 | -2/+2 |
* | Compiler warnings. | Alan Mishchenko | 2012-09-29 | 1 | -1/+0 |
* | Replacing 'st_table' by 'st__table' to resolve linker problems. | Alan Mishchenko | 2012-09-29 | 5 | -16/+16 |
* | Cleaned up interfaces of genlib/liberty/supergate reading/writing. | Alan Mishchenko | 2012-09-25 | 5 | -108/+414 |
* | Cleaned up interfaces of genlib/liberty/supergate reading/writing. | Alan Mishchenko | 2012-09-25 | 8 | -1009/+28 |
* | Changed printouts in a few places in supergate computation. | Alan Mishchenko | 2012-09-24 | 1 | -0/+3 |
* | Extending Liberty parser to handle multi-output cells. | Alan Mishchenko | 2012-09-19 | 3 | -5/+5 |
* | Extending BLIF parser/write to hangle multi-output cells. | Alan Mishchenko | 2012-09-19 | 3 | -3/+3 |
* | Commenting out some assertions in the 'map' mapper. | Alan Mishchenko | 2012-09-10 | 1 | -4/+4 |
* | Compiler warnings. | Alan Mishchenko | 2012-08-29 | 1 | -1/+1 |
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 2 | -6/+6 |
* | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 1 | -2/+2 |
* | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 6 | -25/+18 |
* | Minor change to prevent assertion failure when verifying required times. | Alan Mishchenko | 2012-06-15 | 1 | -2/+2 |
* | Improving printouts of critical path. | Alan Mishchenko | 2012-04-06 | 1 | -1/+1 |
* | Additional features for delay optimization | Alan Mishchenko | 2012-03-21 | 1 | -1/+1 |
* | Enabling user-specified required times in 'map'. | Alan Mishchenko | 2012-03-02 | 4 | -10/+25 |
* | Adding switch -N to 'super' to set an upper bound on the number of supergates... | Alan Mishchenko | 2012-03-02 | 1 | -1/+1 |
* | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-17 | 1 | -1/+1 |
* | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-16 | 2 | -5/+7 |
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 6 | -15/+15 |
* | Trying to fix a mysterious bug in reading the library files. | Alan Mishchenko | 2011-05-06 | 1 | -15/+14 |
* | Made gate library package Mio independent of CUDD. | Alan Mishchenko | 2011-03-30 | 3 | -4/+4 |
* | Fixed a number of small bugs and memory leaks. | Alan Mishchenko | 2011-03-27 | 3 | -1/+10 |
* | Performance bug fix in area-only mapping "map -a". | Alan Mishchenko | 2010-11-29 | 1 | -1/+1 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 22 | -25/+138 |
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 1 | -4/+21 |
* | Version abc90408 | Alan Mishchenko | 2009-04-08 | 1 | -1/+1 |
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 10 | -85/+84 |
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 1 | -1/+1 |
* | Version abc81014 | Alan Mishchenko | 2008-10-14 | 1 | -1/+1 |
* | Version abc80725 | Alan Mishchenko | 2008-07-25 | 2 | -3/+833 |
* | Version abc80717 | Alan Mishchenko | 2008-07-17 | 1 | -1/+0 |
* | Version abc80702 | Alan Mishchenko | 2008-07-02 | 12 | -20/+28 |
* | Version abc80301 | Alan Mishchenko | 2008-03-01 | 2 | -8/+8 |
* | Version abc80130_2 | Alan Mishchenko | 2008-01-30 | 21 | -70/+94 |
* | Version abc80130 | Alan Mishchenko | 2008-01-30 | 21 | -94/+70 |
* | Version abc71001 | Alan Mishchenko | 2007-10-01 | 22 | -0/+9161 |
* | Version abc70930 | Alan Mishchenko | 2007-09-30 | 22 | -9161/+0 |
* | Version abc70209 | Alan Mishchenko | 2007-02-09 | 2 | -4/+6 |
* | Version abc70110 | Alan Mishchenko | 2007-01-10 | 2 | -5/+5 |
* | Version abc61209 | Alan Mishchenko | 2006-12-09 | 1 | -1/+1 |
* | Version abc61128 | Alan Mishchenko | 2006-11-28 | 1 | -1/+2 |
* | Version abc61102 | Alan Mishchenko | 2006-11-02 | 2 | -8/+8 |
* | Version abc60611 | Alan Mishchenko | 2006-06-11 | 2 | -5/+10 |
* | Version abc60303 | Alan Mishchenko | 2006-03-03 | 2 | -3/+12 |
* | Version abc60220 | Alan Mishchenko | 2006-02-20 | 1 | -6/+6 |
* | Version abc60211 | Alan Mishchenko | 2006-02-11 | 3 | -8/+8 |
* | Version abc51126 | Alan Mishchenko | 2005-11-26 | 1 | -0/+3 |