[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
- 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.