summaryrefslogtreecommitdiffstats
path: root/src/base/ver
Commit message (Expand)AuthorAgeFilesLines
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-1/+4
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-031-0/+1
* initial commit of public abcAlan Mishchenko2010-11-017-104/+138
* Version abc90408Alan Mishchenko2009-04-081-4/+4
* Version abc90329Alan Mishchenko2009-03-291-2/+13
* Version abc90310Alan Mishchenko2009-03-102-1/+21
* Version abc90215Alan Mishchenko2009-02-154-28/+28
* Version abc80702Alan Mishchenko2008-07-022-17/+18
* Version abc80130_2Alan Mishchenko2008-01-308-0/+4201
* Version abc80130Alan Mishchenko2008-01-308-4201/+0
* Version abc71130Alan Mishchenko2007-11-301-0/+109
* Version abc71001Alan Mishchenko2007-10-018-0/+4092
* Version abc70930Alan Mishchenko2007-09-309-4088/+0
* Version abc70608Alan Mishchenko2007-06-083-50/+124
* Version abc70406Alan Mishchenko2007-04-061-0/+7
* Version abc70328Alan Mishchenko2007-03-281-2/+1
* Version abc70313Alan Mishchenko2007-03-132-11/+17
* Version abc70302Alan Mishchenko2007-03-021-21/+164
* Version abc70225Alan Mishchenko2007-02-254-374/+1215
* Version abc70219Alan Mishchenko2007-02-194-420/+961
* Version abc70216Alan Mishchenko2007-02-162-24/+55
* Version abc70211Alan Mishchenko2007-02-115-78/+199
* Version abc70209Alan Mishchenko2007-02-091-1/+1
* Version abc61122Alan Mishchenko2006-11-228-0/+2325