Skip to content

Releases: LBacchiani/session-subtyping-tool

1.0.2

06 Apr 13:51
@LBacchiani LBacchiani
1.0.2
a0cf80b

Choose a tag to compare

View all tags
1.0.2 Latest
Latest 
fix bug
Assets 6
Loading

v1.0.1

08 Mar 13:30
@LBacchiani LBacchiani
v1.0.1
15039ff

Choose a tag to compare

View all tags
v1.0.1 
add management of graph visualization for fair asynchronous algorithm…
Loading

v1.0.0

22 Feb 12:15
@LBacchiani LBacchiani
v1.0.0
1c8fbae
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v1.0.0

First stable release of the Session Subtyping Tool

Loading

Pre-Release

21 Jan 12:55
@LBacchiani LBacchiani
0.0.1
362abdf

Choose a tag to compare

View all tags
Pre-Release Pre-release
Pre-release

Session Subtyping tool pre-release.

Loading