[PPL-devel] Fwd: ppl 0.11.2 vs llvm
Roberto Bagnara
bagnara at cs.unipr.it
Thu Aug 4 05:06:26 CEST 2011
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 at cs.unipr.it
More information about the PPL-devel
mailing list