Search results

Filter for parameter types

enhancement 💡New feature or requestNew feature or request

Status: Open.

#1345 In Safe-DS/API-Editor;

· nvollroth opened on Apr 26, 2023

Output type hints during code generation

enhancement 💡New feature or requestNew feature or request

Status: Open.

#1270 In Safe-DS/API-Editor;

· Masara opened on Mar 8, 2023

Display type information in the GUI

enhancement 💡New feature or requestNew feature or request

Status: Open.

#1269 In Safe-DS/API-Editor;

· Masara opened on Mar 8, 2023

Purity-View

enhancement 💡New feature or requestNew feature or request

purityInferring the purity of functionsInferring the purity of functions

Status: Open.

#1262 In Safe-DS/API-Editor;

· lukarade opened on Mar 7, 2023

Live edit

enhancement 💡New feature or requestNew feature or request

Status: Open.

#1023 In Safe-DS/API-Editor;

· lars-reimann opened on Aug 8, 2022

Prefer public module with shortest name for reexported declarations

enhancement 💡New feature or requestNew feature or request

Status: Open.

#1021 In Safe-DS/API-Editor;

· lars-reimann opened on Aug 3, 2022

Filter for manual created/changed annotations

enhancement 💡New feature or requestNew feature or request

Status: Open.

#987 In Safe-DS/API-Editor;

· lukarade opened on Jul 12, 2022

<code>@pure</code> annotation should also cover the case that a function is not pure but has no side effects

enhancement 💡New feature or requestNew feature or request

purityInferring the purity of functionsInferring the purity of functions

Status: Open.

#976 In Safe-DS/API-Editor;

· lars-reimann opened on Jul 9, 2022

Batch complete &amp; review

enhancement 💡New feature or requestNew feature or request

Status: Open.

#972 In Safe-DS/API-Editor;

· lars-reimann opened on Jul 9, 2022

Batch delete annotations

enhancement 💡New feature or requestNew feature or request

Status: Open.

#971 In Safe-DS/API-Editor;

· lars-reimann opened on Jul 9, 2022

Charts are blurred after zooming out and then resetting zoom

bug 🪲Something isn't workingSomething isn't working

reproducedThe bug could be reproducedThe bug could be reproduced

Status: Open.

#939 In Safe-DS/API-Editor;

· lukarade opened on Jul 8, 2022

Improved app layout

enhancement 💡New feature or requestNew feature or request

Status: Open.

#899 In Safe-DS/API-Editor;

· lars-reimann opened on Jul 2, 2022