4 Aug
2011
4 Aug
'11
5:06 a.m.
On 08/03/11 16:09, Jack Howarth wrote:
The complete set of failures reported for ppl-0.11.2 when built under Xcode 4.1's clang are...
Box --- affineimage1 frompolyhedron1 frompolyhedron2 propagateconstraints2 refinewithconstraint1 nnc_frompolyhedron1
BD_Shape -------- closure1
`make check' passed on directory BD_Shape for me (under GNU/Linux). I am now trying on Box. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it