Ok thanks.  Please make sure that you are using the latest ADS branch (trunk I believe) to provide your patches.  This way we can make the changes fast and get our a release with the fixes you need.


On Wed, Dec 24, 2008 at 5:25 PM, Lorenz Breu <bru@hot-shot.com> wrote:
Yes, there is definitely something wrong with the way ADS compares
integers. I have JIRA'ed the issue.

I have also hacked together a quick solution and some tests that seem to
suggest the fix works for now... I hope I can release the code soon, as
I always have to check with the ETH as I am stuck in the middle of my
MSc thesis.