Skip to content

Releases: SDARG/jreliability

3.0

11 Feb 09:44
@michaelhglass michaelhglass
v3.0
c9dc9f5
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
3.0 Latest
Latest

Major release with :

  • Update to Java 21 LTS
  • Update to Gradle 8.5
  • Update to JavaBDD 9.0

From now requires Java 21 or later and Gradle 8.5

Assets 2
Loading

v2.0

18 Apr 16:41
@michaelhglass michaelhglass
v2.0
503040d
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
v2.0

Major release with new features:

  • Stochastic logic-based reliability analysis (approximative alternative to BBD-based analysis)
  • Several well-known and state-of-the-art importance measures
  • BDDs class now termed BDDUtils

Now requires Java 11 or later and Gradle 6.6.1

Loading