Issues

• [GUI] Fail safe in case of PML generation issues

  bug
  HRI-EU/ProMis#45 · Filter by author befl3 opened on Apr 22, 2026

• Shape Manipulation of Polygons

  enhancement
  HRI-EU/ProMis#42 · Filter by author befl3 opened on Nov 30, 2025

• Improvement of export and import capabilities

  enhancement
  HRI-EU/ProMis#41 · Filter by author befl3 opened on Nov 29, 2025

• About section and acknowledgements

  invalid
  HRI-EU/ProMis#38 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] PML adaptation fails

  HRI-EU/ProMis#37 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Multi-color PML

  enhancement
  HRI-EU/ProMis#36 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Ignore irrelevant location types in gui

  invalid
  HRI-EU/ProMis#34 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Rename Marker

  enhancement
  HRI-EU/ProMis#33 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Option (e.g., slider) to cache StarMap

  enhancement
  HRI-EU/ProMis#32 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Multipolygons

  enhancement
  HRI-EU/ProMis#31 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Image API

  enhancement
  HRI-EU/ProMis#30 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Localhost logging message

  enhancement
  HRI-EU/ProMis#29 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] LLM Interface

  enhancement
  HRI-EU/ProMis#28 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Stop button for PML generation

  enhancement
  HRI-EU/ProMis#27 · Filter by author befl3 opened on Nov 21, 2025

• [GUI] Zombie processes

  bug
  HRI-EU/ProMis#26 · Filter by author befl3 opened on Nov 21, 2025