log

age author description
Thu, 22 May 2014 18:10:04 +0200 Thomas Wuerthinger Merge.
Wed, 21 May 2014 11:45:50 +0200 Thomas Wuerthinger Merge.
Tue, 13 May 2014 19:19:27 +0200 Thomas Wuerthinger Merge.
Tue, 13 May 2014 12:15:40 +0200 Thomas Wuerthinger Merge.
Tue, 13 May 2014 12:15:32 +0200 Thomas Wuerthinger Fix exponential explosion when propagating zero probabilities.
Tue, 13 May 2014 03:57:06 +0200 Thomas Wuerthinger Stop propagating probability above loop header.
Tue, 13 May 2014 02:31:41 +0200 Thomas Wuerthinger Merge.