Skip to content

Releases: imandra-ai/imandrax-vscode

Release list

ImandraX VSIX 0.0.53

ImandraX VSIX 0.0.53 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Mar 22:10
ver-0.0.53
c65ee10
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Assets 3
Loading

ImandraX VSIX 0.0.52

ImandraX VSIX 0.0.52

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Mar 21:02
ver-0.0.52
53f3469
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.51

ImandraX VSIX 0.0.51

Choose a tag to compare

View all tags
@github-actions github-actions released this 26 Feb 15:37
ver-0.0.51
adfca7f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.50

ImandraX VSIX 0.0.50

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 Jan 16:46
ver-0.0.50
1b2f002
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.49

ImandraX VSIX 0.0.49

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 Jan 16:39
ver-0.0.49
747ea37
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.48

ImandraX VSIX 0.0.48

Choose a tag to compare

View all tags
@github-actions github-actions released this 25 Nov 20:04
ver-0.0.48
654631b

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.47

ImandraX VSIX 0.0.47

Choose a tag to compare

View all tags
@github-actions github-actions released this 25 Nov 19:58
ver-0.0.47
639a7a3
This commit was signed with the committer’s verified signature.
wintersteiger Christoph M. Wintersteiger
GPG key ID: 50B5FDA31455CFF3
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.46

ImandraX VSIX 0.0.46

Choose a tag to compare

View all tags
@github-actions github-actions released this 25 Nov 19:49
ver-0.0.46
4197d24
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.45

ImandraX VSIX 0.0.45

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Nov 19:36
ver-0.0.45
be7572c
This commit was signed with the committer’s verified signature.
wintersteiger Christoph M. Wintersteiger
GPG key ID: 50B5FDA31455CFF3
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.44

ImandraX VSIX 0.0.44

Choose a tag to compare

View all tags
@github-actions github-actions released this 01 Oct 13:18
ver-0.0.44
ef5450f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The latest release of the ImandraX VSCode extension

Loading