Skip to content
GitLab
Explore
Sign in
Algorithms Library Toolkit
Merge requests
Open
2
Merged
308
Closed
25
All
335
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{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}}
{{title}}
Milestone due date
webui: fix epsilon symbol input in automaton table
webui-client!58
· created
May 10, 2022
by
Hana Litavská
BP
C-webui
T-bug
Merged
3
updated
May 10, 2022
webui: custom functions
webui-client!57
· created
May 09, 2022
by
Hana Litavská
BP
C-webui
C-worker
P-high
Merged
29
updated
May 13, 2022
webui: use one box for all overloads
webui-client!53
· created
Apr 29, 2022
by
Hana Litavská
BP
C-webui
P-high
Merged
13
updated
May 14, 2022
webui: automaton table input
webui-client!52
· created
Apr 25, 2022
by
Hana Litavská
BP
C-webui
Merged
19
updated
May 02, 2022
webui: output and parse
webui-client!47
· created
Apr 16, 2022
by
Hana Litavská
BP
C-webui
T-feature
Merged
17
updated
May 09, 2022
webui: filters
webui-client!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
webui-client!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
webui-client!44
· created
Apr 05, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
69
updated
Dec 04, 2022
webui: add string input for parsed types to input dialog
webui-client!41
· created
Mar 26, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
52
updated
Apr 05, 2022
Dev hl
webui-client!37
· created
Mar 22, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
11
updated
Mar 24, 2022
webui: show template params in the box
webui-client!34
· created
Mar 08, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
13
updated
Mar 17, 2022
webui: fix parameter tooltips
webui-client!33
· created
Mar 07, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
2
updated
Mar 08, 2022
Dev tp osc
automata-library!65
· created
Mar 02, 2019
by
Tomáš Pecka
v0.0.1
D-ci
Merged
0
updated
Mar 02, 2019
ci: enable altbuilder
automata-library!257
· created
May 30, 2023
by
Tomáš Pecka
Merged
0
updated
May 30, 2023
Parser replacement with ANTLR
automata-library!256
· created
May 07, 2023
by
Ondřej Štorc
Merged
0
updated
Sep 25, 2023
ci: Run CI/CD only on specific commits
automata-library!255
· created
Apr 16, 2023
by
Ondřej Štorc
Merged
1
updated
Apr 17, 2023
peckato1/dev
automata-library!254
· created
Apr 13, 2023
by
Tomáš Pecka
Merged
0
updated
Apr 13, 2023
cli: Add common ancestor for all AST nodes.
automata-library!253
· created
Apr 12, 2023
by
Ondřej Štorc
Merged
0
updated
Apr 12, 2023
ci: fix clang-format-diff path
automata-library!252
· created
Apr 12, 2023
by
Tomáš Pecka
Merged
0
updated
Apr 12, 2023
various ci/build fixes/enhancements
automata-library!251
· created
Apr 11, 2023
by
Tomáš Pecka
Merged
0
updated
Apr 11, 2023
Prev
1
2
3
4
5
…
16
Next