21 Aug
2008
21 Aug
'08
7:40 p.m.
On Thu, Aug 21, 2008 at 12:09 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:
I don't know if the reason of this was the lack of a simplification operation in the PPL. This has now be implemented and is available in the snapshot
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre23.tar.bz2
Excellent! Many thanks Roberto for this quick fix ;-) I'm going to modify CLooG to call this function and see what happens to CLooG's testsuite.
Sebastian