Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
L lafhis
  • Group overview
    • Group overview
    • Details
    • Activity
  • Issues 41
    • Issues 41
    • List
    • Board
    • Labels
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Dependency Proxy
  • Members
    • Members
Collapse sidebar
  • lafhis
  • Issues

  • Open 41
  • Closed 44
  • All 85
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • Editor UI: Add selection tab support
    mtsa#85 · created Jun 24, 2025 by Pablo Laciana
    • 0
    updated Jun 24, 2025
  • Review issue status from bitbucket
    mtsa#84 · created Jun 11, 2025 by Pablo Laciana   Feedback
    • 0
    updated Jun 13, 2025
  • Migrar front publico de MTSA
    mtsa#83 · created Jun 11, 2025 by Pablo Laciana   In Progress
    • 1
    updated Jun 18, 2025
  • Scenebeans does not work
    mtsa#81 · created May 30, 2025 by Sebastian Uchitel   Feedback
    • 2
    updated Jun 13, 2025
  • Reduce the re-compiling and cloning of automatas
    mtsa#79 · created May 28, 2025 by Pablo Laciana   Improvement
    • 0
    updated Jun 11, 2025
  • Export the composed controller to .dot
    mtsa#78 · created May 28, 2025 by Pablo Laciana   Feature
    • 0
    updated Jun 11, 2025
  • STOP button is not working
    mtsa#77 · created May 28, 2025 by Pablo Laciana   Feedback
    • 0
    updated Jun 09, 2025
  • Animation breaking the draw screen
    mtsa#76 · created May 28, 2025 by Pablo Laciana   Sprint
    • 0
    updated May 28, 2025
  • Parser hangs
    mtsa#75 · created May 27, 2025 by Sebastian Uchitel
    • 1
    updated Jun 11, 2025
  • Irrelevant warning when relabeling LTS
    mtsa#74 · created May 26, 2025 by Sebastian Uchitel   Sprint
    • 6
    updated Jun 24, 2025
  • Parser error for liveness parametrized goals in synthesis.
    mtsa#65 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 0
    updated May 26, 2025
  • Operations on compositions are not applied
    mtsa#64 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 0
    updated May 26, 2025
  • Animation does not hide hidden actions.
    mtsa#62 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 1
    updated May 26, 2025
  • Draw pane does not flip between LTS properly
    mtsa#61 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 0
    updated May 26, 2025
  • Compiling non-realizable control problems yields a "null" controller.
    mtsa#60 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 2
    updated May 26, 2025
  • Add tests and documentation on RTC
    mtsa#59 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 0
    updated May 26, 2025
  • Document "import" keyword for AUT files
    mtsa#58 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 0
    updated May 26, 2025
  • Keyword "component" needs testing or deprecating.
    mtsa#57 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 0
    updated May 26, 2025
  • Parsing of Trigger Scenarios is broken
    mtsa#56 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 1
    updated May 26, 2025
  • Scenebeans animation is broken
    mtsa#55 · created May 26, 2025 by Pablo Laciana   bitbucket2gitlab
    • 0
    updated May 26, 2025
  • Prev
  • 1
  • 2
  • 3
  • Next