Re: [PPL-devel] Fwd: ppl 0.11.2 vs llvm

4 Aug 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@cs.unipr.it