Release v2.15.1: Add a verification status API (#571) · boogie-org/boogie · GitHub

v2.15.1
8f33580
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired

Verified
Learn about vigilant mode
Compare

Choose a tag to compare

Loading

View all tags

v2.15.1: Add a verification status API (#571)

v2.15.1
8f33580
Compare

Choose a tag to compare

Loading

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired

Verified
Learn about vigilant mode

keyboardDrummer tagged this 05 May 18:18

### Changes

Add an API to IImplementationTask that allows observing when the status of an implementation's verification changes

### Testing

Added a unit test

Assets 2