| commit | 9c914ea35889ca9de863ab22196f6ebfd9c22d5f | |
| author | Sebastian Pop <seb@napoca.(none)> | |
| Thu, 2 Oct 2008 22:41:34 +0000 (2 17:41 -0500) | ||
| committer | Sebastian Pop <seb@napoca.(none)> | |
| Thu, 2 Oct 2008 22:41:34 +0000 (2 17:41 -0500) | ||
| tree | a825c93ef801b7c1336ccb5e3ff78d1aade09d8b | treesnapshot (tar.gz zip) |
| parent | 95753d83797fa9a389c0c07f7cf545e90d7867d7 | commitdiff |
Fix use of PPL functions.
Patch from Roberto Bagnara <bagnara@cs.unipr.it>
1) avoids using features of the PPL that are deprecated in PPL 0.10
(they will be removed in PPL 0.11);
2) uses PPL features to replace some of the existing code, but only
for cases where the replacement is easy and clearly advantageous
(a generalized use of PPL powersets could lead to a considerable
simplification of the CLooG code in domain.c).
Patch from Roberto Bagnara <bagnara@cs.unipr.it>
1) avoids using features of the PPL that are deprecated in PPL 0.10
(they will be removed in PPL 0.11);
2) uses PPL features to replace some of the existing code, but only
for cases where the replacement is easy and clearly advantageous
(a generalized use of PPL powersets could lead to a considerable
simplification of the CLooG code in domain.c).
| include/cloog/ppl_backend.h | diffblobblamehistory | |
| source/ppl/domain.c | diffblobblamehistory |