Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • W webui-client
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 17
    • Issues 17
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Algorithms Library Toolkit
  • webui-client
  • Merge requests
  • Open 1
  • Merged 63
  • Closed 3
  • All 67
  • worker: Discard old readline interface.
    !67 · created Apr 16, 2023 by Ondřej Štorc
    • 2
    updated May 09, 2023
  • worker: bump core version
    !66 · created Oct 27, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated Oct 27, 2022
  • worker: Hopefully fix move semantics for abstraction Values
    !65 · created Oct 19, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated Oct 19, 2022
  • Dev tp
    !64 · created May 26, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated May 26, 2022
  • Dev tp
    !63 · created May 25, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated May 25, 2022
  • Dev tp
    !62 · created May 15, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated May 15, 2022
  • Dev tp
    !61 · created May 15, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated May 15, 2022
  • release 0.4.0
    !60 · created May 14, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated May 14, 2022
  • Dev output compose
    !59 · created May 13, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated May 14, 2022
  • webui: fix epsilon symbol input in automaton table
    !58 · created May 10, 2022 by Hana Litavská   BP   C-webui T-bug
    • MERGED
    • 3
    updated May 10, 2022
  • webui: custom functions
    !57 · created May 09, 2022 by Hana Litavská   BP   C-webui C-worker P-high
    • MERGED
    • 29
    updated May 13, 2022
  • worker: add filter
    !56 · created May 08, 2022 by Hana Litavská
    • MERGED
    • 7
    updated May 10, 2022
  • Worker cleanup
    !55 · created May 08, 2022 by Tomáš Pecka
    • MERGED
    • 0
    updated May 13, 2022
  • Introduce parser generators for ALT formats
    !54 · created May 06, 2022 by Tomáš Pecka   C-webui P-medium T-feature
    • MERGED
    • 1
    updated May 13, 2022
  • webui: use one box for all overloads
    !53 · created Apr 29, 2022 by Hana Litavská   BP   C-webui P-high
    • MERGED
    • 13
    updated May 14, 2022
  • webui: automaton table input
    !52 · created Apr 25, 2022 by Hana Litavská   BP   C-webui
    • MERGED
    • 19
    updated May 02, 2022
  • Resolve "Let output nodes decide their features from the actual visualized type"
    !51 · created Apr 24, 2022 by Tomáš Pecka
    • MERGED
    • 3
    updated Apr 25, 2022
  • ci: remove staging branch
    !50 · created Apr 19, 2022 by Tomáš Pecka
    • MERGED
    • 1
    • 0
    updated Apr 19, 2022
  • Common documentation
    !49 · created Apr 17, 2022 by Tomáš Pecka   staging
    • MERGED
    • 0
    updated Apr 17, 2022
  • ci: speed up, possibly remove docker TOOMANYREQUESTS errors
    !48 · created Apr 17, 2022 by Tomáš Pecka   staging
    • MERGED
    • 2
    updated Apr 17, 2022
  • Prev
  • 1
  • 2
  • 3
  • 4
  • Next