Skip to content

Releases: imandra-ai/imandrax-vscode

ImandraX VSIX 0.0.50

08 Jan 16:46
@github-actions github-actions
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.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.50 Latest
Latest

The latest release of the ImandraX VSCode extension

Assets 3
Loading

ImandraX VSIX 0.0.49

08 Jan 16:39
@github-actions github-actions
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.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.49

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.48

25 Nov 20:04
@github-actions github-actions
ver-0.0.48
654631b

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.48

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.47

25 Nov 19:58
@github-actions github-actions
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.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.47

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.46

25 Nov 19:49
@github-actions github-actions
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.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.46

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.45

17 Nov 19:36
@github-actions github-actions
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.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.45

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.44

01 Oct 13:18
@github-actions github-actions
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.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.44

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.43

01 Oct 11:22
@github-actions github-actions
ver-0.0.43
a0c6e37
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.43

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.41

11 Sep 14:41
@github-actions github-actions
ver-0.0.41
74623d9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.41

The latest release of the ImandraX VSCode extension

Loading

ImandraX VSIX 0.0.40

18 Jul 15:33
@github-actions github-actions
ver-0.0.40
7364e91
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
ImandraX VSIX 0.0.40

The latest release of the ImandraX VSCode extension

Loading