Wed, 01 May 2013 17:28:04 +0200 |
Thomas Wuerthinger |
Make sure if trueSuccessor probability is always <= 1.0.
|
Wed, 01 May 2013 17:05:14 +0200 |
Thomas Wuerthinger |
Fixes for probability calculation.
|
Wed, 01 May 2013 16:49:14 +0200 |
Thomas Wuerthinger |
Remove dead code.
|
Wed, 01 May 2013 16:30:52 +0200 |
Thomas Wuerthinger |
Ensure probabilities are never negative. Add additional assertions.
|
Wed, 01 May 2013 15:53:17 +0200 |
Thomas Wuerthinger |
Fix postorder calculation.
|
Wed, 01 May 2013 15:08:19 +0200 |
Thomas Wuerthinger |
Fix for assertion.
|
Wed, 01 May 2013 15:02:36 +0200 |
Thomas Wuerthinger |
Fix post dominator calculation.
|