Skip to content

Releases: convince-project/smc_storm

0.0.6

14 Nov 09:45
@github-actions github-actions
0.0.6
6468c27
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.0.6 Latest
Latest 
Version 0.0.6, introduce flag to store only failures
Assets 3
Loading

0.0.5

13 Nov 08:29
@github-actions github-actions
0.0.5
78831dc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.0.5 
Bump to version 0.0.5
Assets 3
Loading

0.0.4

22 Oct 15:05
@github-actions github-actions
0.0.4
02fadd6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.0.4 
Introduce StateDescription class and add template arguments for runni…
Assets 3
Loading

0.0.3

28 Aug 11:18
@github-actions github-actions
0.0.3
81b2dcd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.0.3 
Integrate complete array support (#17)

Signed-off-by: Marco Lampacrescia <[email protected]>
Assets 3
Loading

0.0.2

30 Jul 08:47
@github-actions github-actions
0.0.2
3ff335d
Compare
Choose a tag to compare
0.0.2 
Integrate support to PRISM models and custom formulae
Assets 3
Loading

0.0.1

13 Jun 12:04
@github-actions github-actions
0.0.1
addad6f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.0.1 
Improve deployment installation (#9)

Signed-off-by: Marco Lampacrescia <[email protected]>
Assets 3
Loading