Re: [PPL-devel] integer versus rational solutions
Sebastian Pop wrote:
On Thu, Jul 9, 2009 at 07:12, Michael Classenmichael.classen@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
Roberto Bagnara wrote:
Sebastian Pop wrote:
On Thu, Jul 9, 2009 at 07:12, Michael Classenmichael.classen@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
participants (2)
-
Albert Cohen -
Roberto Bagnara