Merge requests · Algorithms Library Toolkit / webui-client

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