VSCode-PVS8 released, with native support for Apple Silicon chips

[Paolo Masci]

A new release of VSCode-PVS is now available on the MarketPlace: https://marketplace.visualstudio.com/items?itemName=paolomasci.vscode-pvs8

This new release is designed to work with the latest version of PVS v8.1.

It comes packed with all the features you loved from the previous releases of vscode-pvs, plus improved UX, performance and native support for Apple Silicon chips.

Please note the new requirements for this version:

- SBCL (https://www.sbcl.org/)

- NodeJS (https://nodejs.org/en/download)

- Visual Studio Code (https://code.visualstudio.com)

- Java Open JDK or equivalent (https://openjdk.org/)