Ultimate Automizer VS Code ExtensionThis extension runs a formal verification on the current active C file. It relies on Ultimate Automizer as external tool. FeaturesA formal verification by Ultimate Automizer on the file is performed and the results are embedded into the VS Code diagnostics. RequirementsConnection to a public server running Ultimate Automizer, e.g. https://ultimate.sopranium.de/api. Alternatively a container providing the API can be executed inside Docker. A dockerfile to host the Backend locally can be found here. Extension SettingsThis extension contributes the following settings:
Known Issues
Release Notes0.3.0Change default public REST-API endpoint. The old one was broken. 0.2.3Add ability to stop ongoing verification, bugfixes and dependency updates 0.2.2Add support for highlighting assertions where context from Ultimate is missing 0.2.0Change to new REST-API of Ultimate 0.1.2Add command to trigger verification manually (default now) 0.1.1Add icon and compatibility for *.epf files. 0.1.0Initial release AcknowledgementsThe icon is used from the original Ultimate project here. |