On Thu, 16 Apr 2009 14:08:32 +0200
Roberto Bagnara wrote:
>
> All the problems of PPL 0.10.1 we are aware of have been
> fixed in the snapshot of PPL 0.10.2 available at
>
> ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
>
> In particular here is what has changed:
>
> - Correctly detect GMP 4.
On Thu, Apr 16, 2009 at 02:08:32PM +0200, Roberto Bagnara wrote:
>
> All the problems of PPL 0.10.1 we are aware of have been
> fixed in the snapshot of PPL 0.10.2 available at
>
> ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
>
> In particular here is what has changed:
>
> - Correctly detect GMP 4.
On Thu, Apr 16, 2009 at 2:08 PM, Roberto Bagnara wrote:
>
> All the problems of PPL 0.10.1 we are aware of have been
> fixed in the snapshot of PPL 0.10.2 available at
>
> ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
>
> In particular here is what has changed:
>
> - Correctly detect GMP 4.3.0.
>
>
All the problems of PPL 0.10.1 we are aware of have been
fixed in the snapshot of PPL 0.10.2 available at
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
In particular here is what has changed:
- Correctly detect GMP 4.3.0.
- Fixed the C interface library version information.
- Test program tes
