Cedric Hegglin

The PR of my Master's thesis: Contract Checking at Runtime in a Rust Verifier. - adds the ability to check Prusti contracts at runtime - based on verification results, perform...

[WIP] Various IDE improvements and new features

1

Changes to support various new features in prusti-assistant. @Aurel300 @jthomme1

New features and improvements

5

Practical Work project by @jthomme1 and me, supervised by @Aurel300. The new features include: - Show quantifier instantiations via inlay hints, and split by which verification caused them on hover...