[Fwd: RE: [PPL-devel] Compiling PPL under Cygwin?]

[Roberto Bagnara]

-------- Original Message --------
Subject: RE: [PPL-devel] Compiling PPL under Cygwin?
Date: Mon, 15 Mar 2004 18:05:16 -0500
From: Goran Frehse <gfrehse at andrew.cmu.edu>
To: 'Roberto Bagnara' <bagnara at cs.unipr.it>

Dear Roberto,

I'm sorry for not answering sooner. I was extremely busy these past
weeks, and unfortunately I'm still not able to compile under Cygwin.
I will attach my installation notes so far - they should work under
Mandrake, SuSE and Redhat Linux.

On a different topic, I've submitted two papers on a prototype tool that
I'm working on. It verifies Linear Hybrid Automata using the polyhedral
computations of the PPL. Compared to an existing tool (HyTech) it
performs very nicely, and I am quite pleased with the speed of the PPL.
I tried to give due credit to you in the papers and cited some of your
work. In case you're interested in the topic, I'd be happy to send you
the submitted drafts.

Best wishes,
Goran

--

Goran Frehse
Department of Electrical and Computer Engineering
Carnegie Mellon University



-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: install_howto_040315.txt
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20040316/f3f3a913/attachment.txt>