v0.3.0

Change default public REST-API endpoint. The old one was broken.

v0.2.3

• add ability to stop ongoing verification
• bugfixes
• dependency updates

v0.2.2

• Add support for highlighting assertions where context from Ultimate is missing

v0.2.0

• Update to new REST-API of Ultimate

v0.1.2

• add command to trigger verification manually (default now) (#13)
• verification on save is optional now (#13)
• add indication of running ultimate in stdout mode (#9)

v0.1.1

• add icon
• compatibility for *.epf files

v0.1.0

Initial Release