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

[PVS-Help] advice on allegro cl version


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.