summaryrefslogtreecommitdiffstats
path: root/src/aig/dch
Commit message (Expand)AuthorAgeFilesLines
* Major restructuring of the code.Alan Mishchenko2012-01-2113-3058/+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-0112-70/+207
* Version abc90804Alan Mishchenko2015-06-222-2/+34
* Version abc90714Alan Mishchenko2015-06-224-32/+26
* Version abc90410Alan Mishchenko2009-04-102-2/+4
* Version abc90408Alan Mishchenko2009-04-082-3/+3
* Version abc90215Alan Mishchenko2009-02-159-45/+45
* Version abc90118Alan Mishchenko2009-01-182-0/+2
* Version abc80921Alan Mishchenko2008-09-212-5/+10
* Version abc80919Alan Mishchenko2008-09-191-0/+2
* Version abc80905Alan Mishchenko2008-09-052-4/+12
* Version abc80901Alan Mishchenko2008-09-016-9/+15
* Version abc80830Alan Mishchenko2008-08-301-0/+7
* Version abc80802_2Alan Mishchenko2008-08-0212-239/+470
* Version abc80802Alan Mishchenko2008-08-0212-247/+1874
* Version abc80729Alan Mishchenko2008-07-298-0/+837