vscode-pvs 1.0.65 released!
18 views
Skip to first unread message
Paolo Masci
Apr 24, 2024, 2:16:26 PMApr 24
to PVS verification system
A new version of vscode-pvs (v1.0.65) is now available in the marketplace (https://marketplace.visualstudio.com/items?itemName=paolomasci.vscode-pvs) and on github (https://github.com/nasa/vscode-pvs)
What's new:
- Improved NASALib search (now supports navigating/searching the PVS Prelude Library)
- Improved navigation of TCCs (hover tooltips; wobbly line and quickfix actions in the .pvs files highlight expressions associated to unproved TCCs; hover tooltips in the .tccs files show which PVS expression generated each proof obligation; .tccs files are now treated as read-only in vscode)
- Improved support for theorem names that include letters with accents
- Improved proof command suggestions
- Added shortcut `M-x reset-pvs`
- Added new setting "Mirror Console To File" to mirror the prover/evaluator console to a log file
- Improved navigation of TCCs (hover tooltips; wobbly line and quickfix actions in the .pvs files highlight expressions associated to unproved TCCs; hover tooltips in the .tccs files show which PVS expression generated each proof obligation; .tccs files are now treated as read-only in vscode)
- Improved support for theorem names that include letters with accents
- Improved proof command suggestions
- Added shortcut `M-x reset-pvs`
- Added new setting "Mirror Console To File" to mirror the prover/evaluator console to a log file
Best,
Paolo
Reply all
Reply to author
Forward
0 new messages