Re: [PPL-devel] integer versus rational solutions
Sebastian Pop wrote:
On Thu, Jul 9, 2009 at 07:12, Michael Classen<michael.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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
Roberto Bagnara wrote:
Sebastian Pop wrote:
On Thu, Jul 9, 2009 at 07:12, Michael Classen<michael.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