Compatibility with Silicon Chips

[Maxwell Brainerd]

Hello,

I am currently working on a research project and I have grown heavily accustomed to using VSC to write PVS theories and proofs. However, I will soon lose access to the Linux machine I am using, and would like to use a Macbook for my work. Ones with Intel processors are becoming hard to find. Will the VSC extension become compatible with Silicon processors soon?

Thanks

[Mariano Moscato]

Hi Maxwell,

We are actively working on VSCode-PVS to add support for the new version of PVS (8.0) which can be used on ARM architectures.

Stay tuned to the VSCode-PVS repository (https://github.com/nasa/vscode-pvs) for the latest updates on this effort.

Thanks,

Mariano.