Search results

Bug in GUI

bug

Status: Open.

Bug

#38 In SDARG/jreliability;

· michaelhglass opened on Jun 6, 2025

Codacy Code Quality and Coverage

enhancement

Status: Open.

#37 In SDARG/jreliability;

· michaelhglass opened on Feb 11, 2025

Semantic versioning (SemVer 2.0.0)

enhancement

Status: Open.

#32 In SDARG/jreliability;

· michaelhglass opened on May 5, 2021

Tutorial

bug

help wanted

Status: Open.

#28 In SDARG/jreliability;

· michaelhglass opened on Mar 24, 2021

Java9 streaming API for functions

Status: Open.

#20 In SDARG/jreliability;

· felixreimann opened on Jun 26, 2018

How to deal with empty Terms and/or Zero/One BDDs

bug

Status: Open.

#4 In SDARG/jreliability;

· michaelhglass opened on Jul 4, 2017

Rounding in approximations

enhancement

question

Status: Open.

#3 In SDARG/jreliability;

· michaelhglass opened on Jul 3, 2017