[PPL-devel] integer versus rational solutions

[Albert Cohen]

Roberto Bagnara wrote:
> 
> Sebastian Pop wrote:
>> On Thu, Jul 9, 2009 at 07:12, Michael
>> Classen<michael.classen at uni-passau.de> wrote:
>>> Maybe it could also be possible to use the Parma Watchdog Library
>>> (PWL) for providing a timeout for the precise method and falling back
>>> to the more conservative method once a certain timeout is reached?
>>
>> Not in GCC.
>> This would make the compiler non deterministic.
> 
> We have developed a deterministic alternative.  Give us a couple of
> days to migrate it into the main Git repository.
> Cheers,

Very good timing, thank you Roberto/Abramo :-).

Albert