summaryrefslogtreecommitdiffstats
path: root/src/aig/dch/dchChoice.c
Commit message (Expand)AuthorAgeFilesLines
* Major restructuring of the code.Alan Mishchenko2012-01-211-508/+0
* Fixed a glitch in &dch, which removed the flops.Alan Mishchenko2011-07-161-0/+1
* Fixing combinational loop problem in choice computationAlan Mishchenko2010-11-291-0/+167
* initial commit of public abcAlan Mishchenko2010-11-011-3/+68
* Version abc90215Alan Mishchenko2009-02-151-3/+3
* Version abc80901Alan Mishchenko2008-09-011-1/+1
* Version abc80830Alan Mishchenko2008-08-301-0/+7
* Version abc80802_2Alan Mishchenko2008-08-021-62/+24
* Version abc80802Alan Mishchenko2008-08-021-0/+306