Search results

Runtime verification view

designVisual or conceptual design of the toolVisual or conceptual design of the tool

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In HAROS-framework/stratis;

· git-afsantos opened on Dec 23, 2024

Query prompt

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In HAROS-framework/stratis;

· git-afsantos opened on Dec 23, 2024

Improve the Issues view

designVisual or conceptual design of the toolVisual or conceptual design of the tool

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#6 In HAROS-framework/stratis;

· git-afsantos opened on Dec 23, 2024

Design the Home view

designVisual or conceptual design of the toolVisual or conceptual design of the tool

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#5 In HAROS-framework/stratis;

· git-afsantos opened on Dec 23, 2024

Implement the package dependency graph

designVisual or conceptual design of the toolVisual or conceptual design of the tool

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In HAROS-framework/stratis;

· git-afsantos opened on Dec 23, 2024

Rethink the main navigation menu

designVisual or conceptual design of the toolVisual or conceptual design of the tool

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#3 In HAROS-framework/stratis;

· git-afsantos opened on Dec 23, 2024