Re: [PVS-Help] advice on allegro cl version

[Sam Owre <owre@xxxxxxxxxxx>]

I believe you're right, though we have an Enterprise  site license at
SRI, so I haven't tried it myself.

Sam

<rpgoldman@sift.info> wrote:

> Unless I misunderstand, the less-expensive "professional" license would be sufficient.
> 
> -----Original Message-----
> 
> From:  Sam Owre <owre@csl.sri.com>
> Subj:  Re: [PVS-Help] advice on allegro cl version 
> Date:  Fri Jan 12, 2007 12:04 pm
> Size:  945 bytes
> To:  Hendrik Tews <H.Tews@cs.ru.nl>
> cc:  pvs-help@csl.sri.com
> 
> Hi Hendrik,
> 
> You shouldn't need the runtime option unless you plan to distribute your
> own builds.  So what you probably want is one of the Enterprise Editions
> described in http://franz.com/products/packages/, for whatever platform
> you're using.  This gives you the compiler, debugger, etc., but you are
> not allowed to put images on more than one machine.
> 
> This typically costs a couple thousand dollars, depending on your
> negotiations with Franz.
> 
> Regards,
> Sam
> 
> Hendrik Tews <H.Tews@cs.ru.nl> wrote:
> 
> > 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
>