Skip to content

Latest commit

 

History

History
37 lines (20 loc) · 1.27 KB

CHANGELOG.md

File metadata and controls

37 lines (20 loc) · 1.27 KB

Change Log

0.9.5 - 2025-01-15

  • Fixed a regression caused by the 0.9.4 release: parse errors reported by VeriFast were no longer shown #5.
  • -allow_assume is now passed on the VeriFast command line.

0.9.4 - 2024-11-26

Expose Quick Fixes generated by VeriFast.

0.9.3 - 2024-10-24

Clear VeriFast trace now also clears the diagnostics.

0.9.2 - 2023-03-01

Enabled verification of .rs files. (Note: for now, this is for our internal use only; VeriFast for Rust is currently under development and we have not yet released it.)

0.9.1 - 2022-12-12

Added the Verify function with VeriFast command.

Fixed crashes due to dead code errors.

0.9.0 - 2022-12-01

Added the Steps view, branch decorations, syntax highlighting of annotations, and the VeriFast: Run to cursor, Clear VeriFast trace and Show VeriFast execution tree commands. Also, VeriFast now supports specifying most relevant command-line options on the first line of the source file.

0.2.0 - 2021-01-21

Added

  • Go to Definition support

0.1.0 - 2021-01-15

  • Initial release