prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard
verified publisher icon viperproject

[WIP] Various IDE improvements and new features

Open cedihegi opened this issue 2 years ago • 1 comments

Changes to support various new features in prusti-assistant.

@Aurel300 @jthomme1

cedihegi avatar Feb 22 '23 12:02 cedihegi

See also https://cbea.ms/git-commit/

fpoli avatar Feb 24 '23 08:02 fpoli