
10 Jul
2009
10 Jul
'09
3:32 p.m.
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
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it