Search results

More comprehensive inference tests

testingTests for existing featuresTests for existing features

Status: Open.

#89 In sybila/biodivine-sketchbook;

· ondrej33 opened on Jul 23, 2025

Add custom typesafe errors

enhancementEnhancement of existing functionalityEnhancement of existing functionality

refactoringRefactoring and improvements to the codebaseRefactoring and improvements to the codebase

Status: Open.

#88 In sybila/biodivine-sketchbook;

· ondrej33 opened on Jul 11, 2025

Allow datasets to have extra (or missing) variables

conceptPotential enhancement that needs more planningPotential enhancement that needs more planning

enhancementEnhancement of existing functionalityEnhancement of existing functionality

Status: Open.

#87 In sybila/biodivine-sketchbook;

· ondrej33 opened on Jul 11, 2025

Add option to switch between light and dark theme

enhancementEnhancement of existing functionalityEnhancement of existing functionality

ui-improvementImprovement of the UI onlyImprovement of the UI only

Status: Open.

#82 In sybila/biodivine-sketchbook;

· ondrej33 opened on May 29, 2025

Dividing Properties tab

conceptPotential enhancement that needs more planningPotential enhancement that needs more planning

Status: Open.

#80 In sybila/biodivine-sketchbook;

· ondrej33 opened on May 12, 2025

Automatic network layout feature

enhancementEnhancement of existing functionalityEnhancement of existing functionality

new-featureNew feature or requestNew feature or request

Status: Open.

#79 In sybila/biodivine-sketchbook;

· ondrej33 opened on May 12, 2025

Various UI issues

ui-improvementImprovement of the UI onlyImprovement of the UI only

Status: Open.

#77 In sybila/biodivine-sketchbook;

· ondrej33 opened on May 7, 2025

Add own parser for partially specified functions

conceptPotential enhancement that needs more planningPotential enhancement that needs more planning

refactoringRefactoring and improvements to the codebaseRefactoring and improvements to the codebase

Status: Open.

#72 In sybila/biodivine-sketchbook;

· ondrej33 opened on Apr 30, 2025

Simplify creating function symbols

enhancementEnhancement of existing functionalityEnhancement of existing functionality

Status: Open.

#69 In sybila/biodivine-sketchbook;

· ondrej33 opened on Apr 26, 2025

Extend the list of property templates, and add explanations

enhancementEnhancement of existing functionalityEnhancement of existing functionality

new-featureNew feature or requestNew feature or request

Status: Open.

#66 In sybila/biodivine-sketchbook;

· ondrej33 opened on Apr 25, 2025

Add option to load "raw" BDDs as a kind of a property

new-featureNew feature or requestNew feature or request

Status: Open.

#65 In sybila/biodivine-sketchbook;

· ondrej33 opened on Apr 25, 2025

Documenting project structure, state management, and event hierarchy

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#44 In sybila/biodivine-sketchbook;

· ondrej33 opened on Jul 12, 2024