Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Admin message
Proběhla aktualizace GitLabu (v15.3.5 -> v16.3.4)
Algorithms Library Toolkit
webui-client
Merge requests
Open
1
Merged
63
Closed
3
All
67
Actions
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
webui: output and parse
!47
· created
Apr 16, 2022
by
Hana Litavská
BP
C-webui
T-feature
Merged
17
updated
May 09, 2022
webui: filters
!46
· created
Apr 14, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
7
updated
Apr 16, 2022
webui: fix grammar form bugs
!45
· created
Apr 14, 2022
by
Hana Litavská
BP
staging
C-webui
T-bug
Merged
3
updated
Apr 14, 2022
webui: add input form for grammar
!44
· created
Apr 05, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
69
updated
Dec 04, 2022
Staging
!43
· created
Apr 05, 2022
by
Tomáš Pecka
Merged
0
updated
Apr 05, 2022
bump core version
!42
· created
Mar 27, 2022
by
Tomáš Pecka
staging
Merged
3
updated
Mar 28, 2022
webui: add string input for parsed types to input dialog
!41
· created
Mar 26, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
52
updated
Apr 05, 2022
webui: fix ALT txt format parsing in AutomatonOutput
!40
· created
Mar 25, 2022
by
Tomáš Pecka
staging
Merged
1
updated
Mar 26, 2022
Staging
!39
· created
Mar 25, 2022
by
Tomáš Pecka
Merged
0
updated
Mar 25, 2022
webui: Fix parsing of state names with parentheses
!38
· created
Mar 23, 2022
by
Martin Prokopič
Closed
7
updated
Mar 26, 2022
Dev hl
!37
· created
Mar 22, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
11
updated
Mar 24, 2022
Simplify/rewrite some worker tests
!36
· created
Mar 13, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Mar 16, 2022
Merge tp
!35
· created
Mar 12, 2022
by
Tomáš Pecka
staging
Merged
14
updated
Mar 13, 2022
webui: show template params in the box
!34
· created
Mar 08, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
13
updated
Mar 17, 2022
webui: fix parameter tooltips
!33
· created
Mar 07, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
2
updated
Mar 08, 2022
CI
!32
· created
Mar 07, 2022
by
Tomáš Pecka
Merged
0
updated
Mar 07, 2022
ci: docker images smoke build only sometimes
!31
· created
Feb 27, 2022
by
Tomáš Pecka
staging
Closed
0
updated
Feb 27, 2022
Pipeline simplification
!30
· created
Feb 26, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Feb 26, 2022
0.2.1
!29
· created
Feb 25, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Feb 25, 2022
README, server features
!28
· created
Feb 24, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Feb 24, 2022
Prev
1
2
3
4
Next
