aboutsummaryrefslogtreecommitdiff
path: root/adaptive/src
AgeCommit message (Expand)Author
2007-01-07now it's also possible to compile adaptive as single externalsGeorg Holzmann
2007-01-07small fix for compilation on OS-X (Thomas Grill)Georg Holzmann
2005-07-12initial commit of adaptiveGeorg Holzmann