[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] advice on allegro cl version
Unless I misunderstand, the less-expensive "professional" license would be sufficient.
But without runtime I cannot compile a modified version of PVS
for private purposes (excl:generate-application is called at the
end of the build). And without dynamic runtime the modified PVS
cannot load patches from .pvs.lisp.
Or am I getting it wrong?