Skip to content

Releases: imandra-ai/ipl-vscode

Release v.2.9.88

24 Oct 13:47
Compare
Choose a tag to compare

Catch all lock release on json overview gen.

v2.9.87 Release

23 Oct 22:05
Compare
Choose a tag to compare

Re-establishing json docs in the extension

Release: doc gen correction

11 Oct 11:07
Compare
Choose a tag to compare

Correctly allow document generation to go ahead from the VSCode IDE

Fix for documentation generation

09 Oct 13:38
Compare
Choose a tag to compare

Corrects an inconsistency in type indexing for documentation generation.

Release: unsat analysis tools

07 Oct 12:43
Compare
Choose a tag to compare

Adding in tools for unsat analysis

Ipl VSIX v2.9.83

11 Sep 13:00
Compare
Choose a tag to compare

First release of the ipl VSCode VSIX after storing the vsix.