[PPL-devel] integer versus rational solutions

[Roberto Bagnara]

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,

   Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it