22 Aug
2008
22 Aug
'08
4:18 p.m.
Hi Sebastian.
I (should) have solved the precision problem in my last commit:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?...
Now all of our tests behave as expected (here included the test I extracted from the cloog failure you reported).
I have run cloog `make check', obtaining a lot of output due to differences of "obtained" wrt "expected" results ... I hope this is mainly due to the expected results being out of date.
Please, keep us informed of any problem you might notice.
Ciao, Enea.