vscode-pvs-1.0.61 pre-release

[Paolo Masci]

A new pre-release vscode-pvs-1.0.61-beta is available at the following link:

https://nationalia-my.sharepoint.com/:u:/g/personal/paolo_masci_nianet_org/EWJZkPeZYKtBsatgvMXQn3UBqPwQvCXLodgGVzPc3PLYyw?e=RfsKCp

What's new:

- Improved performance

- Minor bug fixes for codelens in .tccs files  

Thanks,

Paolo

[Paolo Masci]

Another pre-release vscode-pvs-1.0.61-delta is available at the following link:

https://nationalia-my.sharepoint.com/:u:/g/personal/paolo_masci_nianet_org/EbPh2GyiHldBgQUjkQWvbvoBa9U7fTEz34rtRViIj0Nz1Q?e=K05hBp

What's new:

- NASALib Search functionality extended to search through user-defined libraries available through pvsLibraryPath

- Added command shortcuts M-x dump-pvs-files and M-x undump-pvs-files

Feedback is welcome

Thanks,

Paolo