summaryrefslogtreecommitdiffstats
path: root/src/opt/dec
Commit message (Collapse)AuthorAgeFilesLines
* Major restructuring of the code.Alan Mishchenko2012-01-217-2004/+0
|
* Exploration of Sasao's decomposition and minor improvements.Alan Mishchenko2011-03-111-2/+2
|
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-032-1/+3
|
* initial commit of public abcAlan Mishchenko2010-11-016-41/+77
|
* Version abc90310Alan Mishchenko2009-03-101-0/+47
|
* Version abc90215Alan Mishchenko2009-02-154-24/+24
|
* Version abc80702Alan Mishchenko2008-07-024-12/+12
|
* Version abc80130_2Alan Mishchenko2008-01-306-49/+312
|
* Version abc80130Alan Mishchenko2008-01-306-312/+49
|
* Version abc71216Alan Mishchenko2007-12-163-11/+8
|
* Version abc71001Alan Mishchenko2007-10-017-0/+1922
|
* Version abc70930Alan Mishchenko2007-09-307-1922/+0
|
* Version abc70110Alan Mishchenko2007-01-101-1/+64
|
* Version abc61122Alan Mishchenko2006-11-221-11/+11
|
* Version abc60822Alan Mishchenko2006-08-221-9/+33
|
* Version abc60803Alan Mishchenko2006-08-031-1/+5
|
* Version abc60723Alan Mishchenko2006-07-231-1/+1
|
* Version abc60611Alan Mishchenko2006-06-112-4/+39
|
* Version abc60303Alan Mishchenko2006-03-032-4/+13
|
* Version abc60220Alan Mishchenko2006-02-202-16/+71
|
* Version abc60211Alan Mishchenko2006-02-111-1/+3
|
* Version abc60118Alan Mishchenko2006-01-181-0/+35
|
* Version abc51126Alan Mishchenko2005-11-262-0/+39
|
* Version abc51114Alan Mishchenko2005-11-142-6/+6
|
* Version abc51012Alan Mishchenko2005-10-126-6/+6
|
* Version abc50910Alan Mishchenko2005-09-101-4/+4
|
* Version abc50908Alan Mishchenko2005-09-082-4/+4
|
* Version abc50902Alan Mishchenko2005-09-027-143/+1407
|
* Version abc50901Alan Mishchenko2005-09-012-0/+392