Change Log

All notable changes to the "prusti-assistant" extension will be documented in this file.

Check Keep a Changelog for recommendations on how to structure this file.

[Unreleased]

Initial release