[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] advice on allegro cl version

To: pvs-help@xxxxxxxxxxx
Subject: [PVS-Help] advice on allegro cl version
From: Hendrik Tews <H.Tews@xxxxxxxx>
Date: Fri, 12 Jan 2007 17:01:24 +0100
List-Help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-Id: PVS-Help <pvs-help.csl.sri.com>
List-Post: <mailto:pvs-help@csl.sri.com>
List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx

Hi,

I am thinking about buying allegro lisp to enjoy Pvs hacking.
Could somebody give advice about which of the various products
suits best?

- I guess I need the allegro runtime option
- I even need the dynamic runtime if I want to compile and load
  .pvs.lisp? Or can I somehow exploit the allegro lisp that I
  have in stalled with Pvs?
- I suspect the free version with 50MB is not sufficient.

Bye,

Hendrik

Prev by Date: [PVS-Help] compilation problems under debian etch
Next by Date: Re: [PVS-Help] compilation problems under debian etch
Prev by thread: Re: [PVS-Help] compilation problems under debian etch - solved
Next by thread: Re: [PVS-Help] advice on allegro cl version
Index(es):
- Date
- Thread