Re: [PPL-devel] Linear ranking functions/relations in PPL

On 04/08/10 15:07, Roberto Bagnara wrote:

P.S. I will post an updated snapshot later today. I will mail you when this is available.

Hi Aziem,

I have just uploaded a new release snapshot at

http://www.cs.unipr.it/ppl/Download/ftp/snapshots/

Your feedback is most welcome. All the best,

Roberto