vscode-pvs-1.0.59 pre-release
6 views
Skip to first unread message
Paolo Masci
Jan 19, 2022, 4:55:15 PM1/19/22
to PVS verification system
A new pre-release vscode-pvs-1.0.59 can be downloaded at the following link:
- Improved NASALib search interface
- Improved file icon theme
What's new in this pre-release:
- Added quick-fix actions for typecheck errors due to missing importings and mispelled names (see animated gif at the end of this message)
- Added shortcuts for entering greek letters (e.g., \alpha, \beta, \tau, etc.)- Improved NASALib search interface
- Improved file icon theme
Feedback is welcome!
-Paolo
Paolo Masci
Feb 2, 2022, 1:17:07 PM2/2/22
to PVS verification system
At the following link you can find an updated pre-release version vscode-pvs-1.0.59-epsilon:
What's new in this updated version:
- Added new command shortcuts 'M-x nf' (new pvs file) and 'M-x nt' (new pvs theory)
- Added setting to define a personalized author key (the author key is used by vscode-pvs in annotations such as QED to identify the author of the proof)
- Fixed latent bug that was causing high cpu load in certain cases
- Improved file icon theme
Reply all
Reply to author
Forward
0 new messages