diff options
| author | Roberto Bagnara <bagnara@cs.unipr.it> | 2010-02-17 12:15:35 +0100 |
|---|---|---|
| committer | Roberto Bagnara <bagnara@cs.unipr.it> | 2010-02-17 12:15:35 +0100 |
| commit | 8ac2c64c2e9fa2da2d02428fe51c34b8dca3d6ff (patch) | |
| tree | 21c29d7c1fa16b8acea9ee23ab4a82e1cb85e174 /TODO | |
| parent | 9bdd6617be52573d3252687844d32001e671a126 (diff) | |
| download | ppl-8ac2c64c2e9fa2da2d02428fe51c34b8dca3d6ff.tar.gz ppl-8ac2c64c2e9fa2da2d02428fe51c34b8dca3d6ff.tar.bz2 ppl-8ac2c64c2e9fa2da2d02428fe51c34b8dca3d6ff.zip | |
Cater for systems where setitimer() is not provided (part 2).
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -2,10 +2,6 @@ Enhancements for PPL 0.11 ========================= -- Deterministic timeouts are disabled whenever the PWL is disabled. - However, the PWL is disabled when OS support for dealing with - real and CPU time are unavailable, which is not relevant for - people that want to use deterministic timeouts. - Make all the *affine*image() methods uniform as far as the specification is concerned. - Look carefully at http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42115 |