-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Modify inference algorithm to account for perturbations
enhancementEnhancement of existing functionalityEnhancement of existing functionalitynew-featureNew feature or requestNew feature or requestStatus: Open.#97 In sybila/biodivine-sketchbook;Allow selecting perturbations for properties
new-featureNew feature or requestNew feature or requestStatus: Open.#96 In sybila/biodivine-sketchbook;Perturbation tab
new-featureNew feature or requestNew feature or requestStatus: Open.#95 In sybila/biodivine-sketchbook;Add pertubations
new-featureNew feature or requestNew feature or requestStatus: Open.#94 In sybila/biodivine-sketchbook;More comprehensive inference tests
testingTests for existing featuresTests for existing featuresStatus: Open.#89 In sybila/biodivine-sketchbook;Add custom typesafe errors
enhancementEnhancement of existing functionalityEnhancement of existing functionalityrefactoringRefactoring and improvements to the codebaseRefactoring and improvements to the codebaseStatus: Open.#88 In sybila/biodivine-sketchbook;Add option to switch between light and dark theme
enhancementEnhancement of existing functionalityEnhancement of existing functionalityui-improvementImprovement of the UI onlyImprovement of the UI onlyStatus: Open.#82 In sybila/biodivine-sketchbook;Dividing Properties tab
conceptPotential enhancement that needs more planningPotential enhancement that needs more planningStatus: Open.#80 In sybila/biodivine-sketchbook;Various UI issues
ui-improvementImprovement of the UI onlyImprovement of the UI onlyStatus: Open.#77 In sybila/biodivine-sketchbook;Add own parser for partially specified functions
conceptPotential enhancement that needs more planningPotential enhancement that needs more planningrefactoringRefactoring and improvements to the codebaseRefactoring and improvements to the codebaseStatus: Open.#72 In sybila/biodivine-sketchbook;Simplify creating function symbols
enhancementEnhancement of existing functionalityEnhancement of existing functionalityStatus: Open.#69 In sybila/biodivine-sketchbook;Extend the list of property templates, and add explanations
enhancementEnhancement of existing functionalityEnhancement of existing functionalitynew-featureNew feature or requestNew feature or requestStatus: Open.#66 In sybila/biodivine-sketchbook;